Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-holes-branch
http://hackage.haskell.org/trac/ghc/changeset/69f445b38ccdddd9adeed3813a4327622c1f2b3d >--------------------------------------------------------------- commit 69f445b38ccdddd9adeed3813a4327622c1f2b3d Author: Thijs Alkemade <[email protected]> Date: Wed Feb 29 15:28:54 2012 +0100 Fix a bug when interacting with already solved constraints. >--------------------------------------------------------------- compiler/typecheck/TcInteract.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index a4502e4..7f3df01 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -882,7 +882,7 @@ doInteractWithInert (CHoleCan id1 fl1 nm1 ty1 d1) workitem@(CHoleCan id2 fl2 nm2 , cc_flavor = flav , cc_depth = d2 } in updWorkListTcS (extendWorkListEq ct)) - ; case fl1 of + ; case fl2 of Given {} -> pprPanic "Unexpected given Hole" (ppr workitem) Derived {} -> pprPanic "Unexpected derived Hole" (ppr workitem) Wanted {} -> _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
