I'm just getting back to Alice after a year or so, and have a few questions about 1.4:
-- is there a list of changes from 1.3 posted somewhere? (I've looked around the web site, but not too diligently :) -- equality types are now supported, yes? -- has there been a change in the semantics of cyclically satisfied futures? I believe (?) the following generated an exception (Hole.Cyclic or something like that) in 1.3: val p:int promise = promise(); fulfill(p,future p); now the future appears to be satisfied by a default value: (val p:int promise = promise(); fulfill(p,future p); future p) ==> 0 thanks for any help. ---fred (sorry if this is a duplicate post.) _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
