[m-dev.] for review: change typeclass_info structure
Tyson Dowd
trd at cs.mu.OZ.AU
Fri Mar 31 16:13:05 AEST 2000
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.
Is this a new feature, a bug in an old feature, or a clean up of code?
(I'm guessing from the test case it might be a bug in an old feature but
I'm not entirely sure).
--
Tyson Dowd #
# Surreal humour isn't eveyone's cup of fur.
trd at cs.mu.oz.au #
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the developers
mailing list