"Fred Hosch" <[EMAIL PROTECTED]> wrote: > > -- is there a list of changes from 1.3 posted somewhere? (I've looked > around > the web site, but not too diligently :)
Yes, the link is hidden on the download page: http://www.ps.uni-sb.de/alice/download/CHANGES > -- equality types are now supported, yes? 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 Erk?? Now this certainly is a regression. Very weird. I added it to the Bugzilla. - Andreas _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
