From: igloo <unknown>
Date: Wed, 18 Dec 2002 17:45:30 +0000 (+0000)
Subject: [project @ 2002-12-18 17:45:30 by igloo]
X-Git-Tag: Approx_11550_changesets_converted~1333
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ab63ff1b4bfa471303e826021d124ad4d05b3314;p=ghc-hetmet.git

[project @ 2002-12-18 17:45:30 by igloo]
Context predicates start with a tcon name, not a type variable
---

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