[m-dev.] for review: bug fix for multiparameter typeclasses

[David Glen JEFFERY]

I think I typed my log message too quickly.

On 13-Oct-2000, David Glen JEFFERY <dgj at students.cs.mu.oz.au> wrote:
> 
> compiler/typecheck.m:
> 	When searching the superclass relation, utilise the fact that any
> 	new variables that are introduced (eg. by moving a single parameter

s/moving a/moving from a/

> 	superclass to a multi parameter subclass) are effectively universally
> 	quantified; they may be found to any other type (or type variable)

s/found/bound/


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