[mercury-users] Colon as a type constructor?

[Ondrej Bojar]

Hi.

I'd like to write pairs with colons and not with dashes :-)
But colonpair won't work:

:- type colonpair(A, B) ---> A : B.

Error: invalid RHS of type definition: A : B.

(I didn't find anywhere that this is not permitted.)

Thanks for reply, Andrew.

P.S.: Thanks a lot for debugprinting - impure io. I love the chance to
define :-pred dbgprint(string::in) is det. Use it anywhere I with and when
done, just replace the definition with :- dbgprint(Anything) :- true.


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------