From ab63ff1b4bfa471303e826021d124ad4d05b3314 Mon Sep 17 00:00:00 2001
From: igloo <unknown>
Date: Wed, 18 Dec 2002 17:45:30 +0000
Subject: [PATCH] [project @ 2002-12-18 17:45:30 by igloo] Context predicates
 start with a tcon name, not a type variable

---
 ghc/compiler/hsSyn/Convert.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/compiler/hsSyn/Convert.lhs b/ghc/compiler/hsSyn/Convert.lhs
index 033f255..ac906b9 100644
--- a/ghc/compiler/hsSyn/Convert.lhs
+++ b/ghc/compiler/hsSyn/Convert.lhs
@@ -272,7 +272,7 @@ cvt_context tys = map cvt_pred tys
 
 cvt_pred :: Typ -> HsPred RdrName
 cvt_pred ty = case split_ty_app ty of
-	   	(Tvar tc, tys) -> HsClassP (tconName tc) (map cvtType tys)
+	   	(Tcon (TconName tc), tys) -> HsClassP (tconName tc) (map cvtType tys)
 		other -> panic "Malformed predicate"
 
 cvtType :: Meta.Typ -> HsType RdrName
-- 
1.7.10.4