patch applied (ghc): Fix DoCon: Another try at getting
extractResults right
Simon Peyton Jones
simonpj at haskell.galois.com
Fri Oct 12 12:26:58 EDT 2007
Fri Oct 12 09:23:25 PDT 2007 simonpj at microsoft.com
* Fix DoCon: Another try at getting extractResults right
For some reason TcSimplify.extractResults is quite difficult to get right.
This is another attempt; finally I think I have it.
Strangely enough, it's only Sergey's DoCon program that shows up the
bug, which manifested as a failure in the Simplifier
lookupRecBndr $dGCDRing{v a1Lz} [lid]
But it was due to extractResults producing multiple bindings for
the same dictionary.
Please merge this to the stable branch (after previous patches to
TcSimplify though).
M ./compiler/typecheck/TcSimplify.lhs -43 +35
More information about the Cvs-ghc
mailing list