Chris Rathman wrote:
Spoke too soon - scratch that about ML. That's not the way it works.
X::Y only works if Y is a list. You'd have to write 1::2::nil. (1::2
won't compile).
Which leaves me with the question: If 1|2 is not a list of [1 2], then
what is it?
1|2 is simply the tuple '|'(1 2). It is built like a head-tail pair,
but it does not have the structure of a list. A list is either nil, or
a pair H|T such that T is a list. Therefore 1|2 is not a list.
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users