your mail

[David Glen JEFFERY]

On 22-Jun-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> DJ, can you please review this one?
> 
> Estimated hours taken: 1
> 
> compiler/typecheck.m:
> 	Improve error reporting by checking type class constraints for
> 	satisfiability as we go and thus reporting unsatisfiable constraints
> 	as soon as possible, rather than only at the end of the clause.
> 	Previously we already did that for the case of ground constraints,
> 	but they are not the only unsatsfiable constraints: constraints
> 	on head type params (type variables which cannot be bound) are
> 	also unsatisfiable if they can't be eliminated straight away
> 	by context reduction.
> 
> tests/invalid/Mmakefile:
> tests/invalid/typeclass_test_7.m:
> tests/invalid/typeclass_test_7.err_exp:
> 	Regression test for the above change.
> 

That change looks fine. Thanks!


love and cuddles,
dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.