Typechecking doesn't enforce communication immutability requirements

2f1a493
Opened by Eric Holk at 2011-10-21 01:35:52

It looks like we'll still attempt to compile attempts to send mutable data on channels or in spawn arguments. This should be disallowed.

  1. It looks like this depends on having the kind system in place (#234 and #132).

    Eric Holk at 2011-06-27 20:31:15

  2. The only thing left to do here is immutable closures (fn~) or bare functions

    Brian Anderson at 2011-09-28 08:12:40

  3. Depends on #1022

    Brian Anderson at 2011-10-10 20:14:48

  4. Done.

    Brian Anderson at 2011-10-21 01:35:51