for review: remove "optimisation" in check_typeclass.m

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Jun 16 13:07:20 AEST 1998


On 08-Jun-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> Disable the often erroneous "optimisation" in check_typeclass.m whereby we
> skipped the level of indirection for instance methods if there was an exact
> match for the types, modes and determinisms of the instance method.
> Consequently rip out lots of useless stuff from check_typeclass.m.
> 
> Also, for methods which are functions, introduce unifications for the body
> rather than calls.
> 
> compiler/check_typeclass.m:
> 	Disable the "optimisation".

This change modified some error messages, so you also need
to update the expected output for the corresponding test cases
(specifically tests/invalid/typeclass_test_[34].err_exp).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list