X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=c34bf6d2409d8d21dc6ad99fe438b482b72b4dc5;hb=b88025eabcd83f65d1d81f09272f5172f06a60e7;hp=ffb010491db53de80a73d97e9c48b22101179588;hpb=a3a15a646977ab98f9150bb2b926d960796077e4;p=ghc-hetmet.git

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index ffb0104..c34bf6d 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -110,7 +110,8 @@ instType imp@(ImplicInst {})      = mkImplicTy (tci_tyvars imp) (tci_given imp)
 					       (tci_wanted imp)
 
 mkImplicTy tvs givens wanteds	-- The type of an implication constraint
-  = -- pprTrace "mkImplicTy" (ppr givens) $
+  = ASSERT( all isDict givens )
+    -- pprTrace "mkImplicTy" (ppr givens) $
     mkForAllTys tvs $ 
     mkPhiTy (map dictPred givens) $
     if isSingleton wanteds then
@@ -330,6 +331,7 @@ mkPredName uniq loc pred_ty
     occ = case pred_ty of
 	    ClassP cls tys -> mkDictOcc (getOccName cls)
 	    IParam ip ty   -> getOccName (ipNameName ip)
+	    EqPred _ _     -> pprPanic "mkPredName" (ppr pred_ty)
 \end{code}
 
 %************************************************************************