[mercury-users] foreign_type

Peter Ross pro at missioncriticalit.com
Tue Jun 4 18:43:09 AEST 2002

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

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