[mercury-users] foreign_type

Michael Day mikeday at bigpond.net.au
Tue Jun 4 12:32:31 AEST 2002

> You could write the code as follows, inlining would avoid any of the
> overhead of doing it this way.
> p(constrained_foo(Foo)) :-
>     p_2(Foo).

Yes okay okay, so there is a work around, albeit an ugly one that forces
me to duplicate every predicate.

Any hope of having foreign types with arity > 0 in the future or support
for abstract equivalence types that go polymorphic -> monomorphic?


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