Hi,

I want to know what is a symbol. The Mercury Language Refernce 
Manual mentions items and builtin operators, but no where about 
symbols. At least I could not find it.

I came to know about that symbol exists when I got an error 
because I had not imported the list module. But what is it 
exactly??

In the manual,
:- pred sum(list(int), int).
:- mode sum(in, out) is det.

X = lambda([List::in, Length::out] is det, sum(List, Length))
Y = (pred(List::in, Length::out) is det :- sum(List, Length))
Z = sum

X, Y, Z are higher order terms. Similarly could you give me 
examples with their explanation as to what is symbols??

Thanks,

Noel
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

