[mercury-users] Higher-order unification question

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Wed Feb 28 05:59:21 AEDT 2007

Dear Mark, thanks for your reply.  You concluded:

>The short answer is that if we had a fully constraint-based type checker, the
>implementation would be fairly straightforward.

I talked with Zoltan at the 2006 ICFP, and he mentioned this as a goal.  We've
also seen a great deal of work on including constraint-based programming
into Mercury.  Has it worked its way into the type-checker?

Doug Auclair

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list