[mercury-users] foreign_type

[Michael Day]

Hi,

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

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
example).

Michael

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