[m-dev.] for dicussion: more structured procedure arguments

Mark Brown mark at csse.unimelb.edu.au
Fri Dec 8 02:32:19 AEDT 2006

On 07-Dec-2006, Mark Brown <mark at csse.unimelb.edu.au> wrote:
> On 07-Dec-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >                 pa_univ_type_infos :: list(T),
> >                 % Type_infos for universally quantified type variables,
> >                 % in the order that type variables first appear in the
> >                 % argument types.
> For our current scheme, this should read "for _unconstrained_ universally
> quantified type variables".  The comment in polymorphism.m gets this wrong,
> I've just noticed.

I've just committed a fix.


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

More information about the developers mailing list