[mercury-users] foreign_type

[Michael Day]

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

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