[m-dev.] diff: some more type class improvements
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Fri Apr 10 20:14:08 AEST 1998
On 10-Apr-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 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,
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.
More information about the developers