[mercury-users] foreign_type

[Michael Day]

> Instead you could write
> 
> :- type constrained_foo(T) ---> constrained_foo(foo).

Yes, but then the compiler thoughtfully passes everything as an MR_Word it
seems and I have to put back all the type casts that using foreign type
allowed me to remove.

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