Russ Abbott wrote:
One solution would be to have two versions of the case statement (case and caseunify), one that suspends if the pattern aribiter is not completely bound and one that does full unification. Not only would that offer a nice feature, it would solve the problem that new-comers tend to get confused about this. If both language features were presented together in the documentation, there would be no confusion. -- Russ
Read Section 2.6 (page 79) in CTM. There is no need to have a 'caseunify' statement.
Peter _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
