[m-dev.] for review: change typeclass_info structure

[David Glen JEFFERY]

On 31-Mar-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> On 31-Mar-2000, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> > 
> > Make an addition to the type class info structure; add type infos for
> > any type variables from the head of the instance declaration which are
> > unconstrained, and make the class method call mechanism insert these as
> > arguments to method calls.
> > 
> > Also move the documentation about the type class transformation from
> > polymorphism.m to a new file, compiler/notes/type_class_transformation.html.
> 
> You don't say what the rationale is for this change.

I will change the first paragraph of the log message as follows:

Make an addition to the type class info structure; add type infos for
any type variables from the head of the instance declaration which are
unconstrained, and make the class method call mechanism insert these as
arguments to method calls. The implementations of methods expect to be passed
a type info for each unconstrained type variable and a type class info for
each constraint. Previously we were not passing the appropriate type infos.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------