[mercury-users] New to mercury: structure reuse and efficiency

[Maurizio Colucci]

On Sunday 04 July 2004 16:07, Ralph Becket wrote:

> Does this help?

Greatly , thanks. It is something I had found but was unable to formalize.
I used to say unification is somewhat "global", but could not explain it 
better.

> (We are currently working on adding support for types with Prolog
> style unification as a special case of more general support for
> constraint logic programming.)

And how's it going? I mean, will mercury eventually support such a 
unification? Will you have to enable it explicitely?

Thanks a lot
Maurizio

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