[mercury-users] natural numbers

[Robert Colvin]

Hi, I wanted to know what is/would be the usual way to define the natural
numbers using successor notation in Mercury.  Preferably I would use this:

:- type nat ---> 0; s(nat).

but I get the error:

mercTranslate.m:471: Error: invalid RHS of type definition: 0 ; s(nat).

which I assume is from the use of `0'.  I will probably use eg. `e' in place of
0, unless there is something I'm missing...?

Thanks,
Rob
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------