X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FhsSyn%2FConvert.lhs;h=ac17dbb93494f16d47fea92ad0c0c598edc1c3b4;hb=223d65c79ea253baa64c17a1735014c959a2ae32;hp=685bb9b88e4bf415a88616f81cabf160c383656b;hpb=1bade0c9060d3aec4fd4590803d411d54f0ea927;p=ghc-hetmet.git

diff --git a/ghc/compiler/hsSyn/Convert.lhs b/ghc/compiler/hsSyn/Convert.lhs
index 685bb9b..ac17dbb 100644
--- a/ghc/compiler/hsSyn/Convert.lhs
+++ b/ghc/compiler/hsSyn/Convert.lhs
@@ -21,7 +21,7 @@ import HsSyn as Hs
 		Pat(..), HsConDetails(..), HsOverLit, BangType(..),
 		placeHolderType, HsType(..), HsExplicitForAll(..),
 		HsTyVarBndr(..), HsContext,
-		mkSimpleMatch, mkHsForAllTy
+		mkSimpleMatch, mkImplicitHsForAllTy, mkExplicitHsForAllTy
 	) 
 
 import RdrName	( RdrName, mkRdrUnqual, mkRdrQual, mkOrig )
@@ -302,7 +302,7 @@ cvt_context tys = map cvt_pred tys
 cvt_pred :: Meta.Type -> HsPred RdrName
 cvt_pred ty = case split_ty_app ty of
 	   	(ConT tc, tys) -> HsClassP (tconName tc) (map cvtType tys)
-		other -> panic "Malformed predicate"
+		other -> pprPanic "Malformed predicate" (ppr ty)
 
 cvtType :: Meta.Type -> HsType RdrName
 cvtType ty = trans (root ty [])