[commit: ghc] type-holes-branch: Fix a bug when interacting with already solved constraints. (69f445b)

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 {} ->