patch applied (ghc): Gather constraints in program order
Simon Peyton Jones
simonpj at microsoft.com
Fri Nov 24 03:41:33 EST 2006
Fri Nov 24 00:40:11 PST 2006 simonpj at microsoft.com
* Gather constraints in program order
Provoked by a suggestion of Simon's, this patch makes a half-hearted attempt
to gather constraints in program order, so that we tend to report an error
at its first occurrence, rather than its last. Examples:
mdofail001, tcfail015
It's "half-hearted" because generally-speaking the typechecker does not
guaranteed to keep constraints in order; it treats them as a set. Nevertheless
this very small change seems to improve matters, so it seems a good one.
M ./compiler/typecheck/TcRnTypes.lhs -1 +11
M ./compiler/typecheck/TcSimplify.lhs -3
More information about the Cvs-ghc
mailing list