[m-dev.] diff: typeclass bug fix

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Jun 18 13:48:10 AEST 1998


On 18-Jun-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> Fix a bug where polymorphism.m was erroneously applying a type substition
> recursively, causing an infinite loop in certain situations.
> 
> compiler/polymorphism.m:
> 	Change a call to term__apply_rec_substitution_to_list into
> 	term__apply_substitution_to_list.
> 
> 	Also put the goals to initialise the superclass type-infos *before*
> 	the construction unification for the sub-class.
...
> New file: tests/hard_coded/typeclasses/instance_superclass.m:

The log message should mention the test case.

The test case should go in `valid' rather than `hard_coded'
if it doesn't have a `main'.  Also you need to edit the Mmakefile
to enable the test case.

Otherwise that looks fine.

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