[mercury-users] existential constraints

[Michael Day]

> It is possible that one day we might have a unified type/mode analysis,
> rather than separating out those two phases.  With a unified analysis,
> we could avoid the "new functor" syntax, support implied quantification,
> and perhaps also support mode inference for lambda expressions.
> However, this is easier said than done, and personally I don't think
> it will happen any time soon.

Hmm sounds nice. Does the Mercury language specification mandate whatever
the Melbourne Mercury Compiler currently supports, or is it more forward
looking? :)

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