[mercury-users] foreign_type

Michael Day mikeday at bigpond.net.au
Mon Jun 3 18:06:06 AEST 2002


In rotd-2002-05-12, foreign_type declarations have to be as public as the
type declarations, which means I can't seem to create an abstract foreign

Also, foreign types have to be of arity 0. Is this really necessary? It
would be nice to be able to define foo(T) and implement it as a foreign
type where the T is unused and exists only to enforce certain constraints
elsewhere in the code (separating point(global) vs. point(local) for


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

More information about the users mailing list