From d0c3963993f2255069d63229f8ccfc9ac0435719 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 31 Oct 2003 12:57:59 +0000
Subject: [PATCH] [project @ 2003-10-31 12:57:59 by simonpj] Wibble to TH ->
 HsSyn conversion

---
 ghc/compiler/hsSyn/Convert.lhs |   12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/ghc/compiler/hsSyn/Convert.lhs b/ghc/compiler/hsSyn/Convert.lhs
index a21f364..5098901 100644
--- a/ghc/compiler/hsSyn/Convert.lhs
+++ b/ghc/compiler/hsSyn/Convert.lhs
@@ -225,7 +225,9 @@ cvtd (FunD nm cls)   	    = FunMonoBind (vName nm) False (map cvtclause cls) loc
 cvtd (Meta.ValD p body ds)	    = PatMonoBind (cvtp p) (GRHSs (cvtguard body) 
 							  (cvtdecs ds) 
 							  void) loc0
-cvtd x = panic "Illegal kind of declaration in where clause" 
+
+cvtd d = cvtPanic "Illegal kind of declaration in where clause" 
+		  (text (show (Meta.pprDec d)))
 
 
 cvtclause :: Meta.Clause -> Hs.Match RdrName
@@ -302,7 +304,8 @@ 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 -> pprPanic "Malformed predicate" (text (show (Meta.pprType ty)))
+	   	(VarT tv, tys) -> HsClassP (tName tv) (map cvtType tys)
+		other -> cvtPanic "Malformed predicate" (text (show (Meta.pprType ty)))
 
 cvtType :: Meta.Type -> HsType RdrName
 cvtType ty = trans (root ty [])
@@ -335,6 +338,11 @@ sigP other	 = False
 
 
 -----------------------------------------------------------
+cvtPanic :: String -> SDoc -> b
+cvtPanic herald thing
+  = pprPanic herald (thing $$ ptext SLIT("When splicing generated code into the program"))
+
+-----------------------------------------------------------
 -- some useful things
 
 truePat  = ConPatIn (cName "True") (PrefixCon [])
-- 
1.7.10.4