[m-dev.] diff: some more type class improvements

[David Glen JEFFERY]

On 10-Apr-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> compiler/typecheck.m:
> 	Ensure that we run a final pass of context reduction at the
> 	end of typechecking each predicate (or function).

I think it's worth adding a comment why this is so. Incidently... why is
this so? ;-) Will there be anything left to reduce if you have been reducing
at every call? I guess its in case there are any tautological constraints
(because of super classes) hanging around. Is that what you had in mind?

Otherwise, that's great, thanks.


love and cuddles,
dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
MEngSc 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.