Filip Konvička wrote:
In the following, either of the first two constraints work, but the
third one doesn't.
local
fun {Plus2 X Y} X + Y end
proc {Plus3 X Y Z} X + Y =: Z end
(...)
I think that if you replace Plus2 with
fun {Plus2 X Y}
Z={FD.decl}
in
X + Y =: Z
Z
end
You know, that's equivalent to Plus2=Plus3 ! ;-) Here is the most
general Plus you can think of:
proc {Plus X Y Z}
X={FD.decl} Z={FD.decl} Z={FD.decl}
X + Y =: Z
end
It can be used as a procedure, or as a function.
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
