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

[Mark Brown]

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.

Cheers,
Mark.

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