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.)



Fred Hosch                                      [EMAIL PROTECTED]



_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users

Reply via email to