Hi,
I was speaking to my lecturer today regarding unification and we were
hoping someone could explain something.
If you consider the following program:
declare
X=fun {$ Y} Y+2 end
X=fun {$ Y} Y+2 end
we were under the impression that Oz would just accept the third line in
much the same way as it quietly accepts 3=3 for example. However, a
unification error is generated.
Can anyone shed any light on this?
Regards
Mark
--
Mark Richardson
Final year undergraduate
University of Teesside
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
