[mercury-users] foreign_type

[Peter Ross]

michael wrote:
>
> > 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.
>
Yes it is not as concise as possible.

> Any hope of having foreign types with arity > 0 in the future or
support
> for abstract equivalence types that go polymorphic -> monomorphic?
>
The change would be quite trivial (I believe), the question is does it
introduce some undesired side effects.  I need to think about it some
more.

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