From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Mon, 7 Aug 2006 15:16:34 +0000 (+0000)
Subject: OccName->FS change over for equalities in GADTs
X-Git-Tag: After_FC_branch_merge~135
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=d841b6291656761f6b57e6828cad25b3f0ff75eb;ds=sidebyside

OccName->FS change over for equalities in GADTs
---

diff --git a/compiler/iface/IfaceSyn.lhs b/compiler/iface/IfaceSyn.lhs
index 0801f10..ec5d544 100644
--- a/compiler/iface/IfaceSyn.lhs
+++ b/compiler/iface/IfaceSyn.lhs
@@ -288,7 +288,8 @@ pprIfaceConDecl tc
     main_payload = ppr name <+> dcolon <+> 
 		   pprIfaceForAllPart (univ_tvs ++ ex_tvs) (eq_ctxt ++ ctxt) (ppr con_tau)
 
-    eq_ctxt = [(IfaceEqPred (IfaceTyVar tv) ty) | (tv,ty) <- eq_spec] 
+    eq_ctxt = [(IfaceEqPred (IfaceTyVar (occNameFS tv)) ty) 
+	      | (tv,ty) <- eq_spec] 
     con_tau = foldr1 IfaceFunTy (arg_tys ++ [tc_app])
     tc_app  = IfaceTyConApp (IfaceTc (LocalTop tc)) 
 			    [IfaceTyVar tv | (tv,_) <- univ_tvs]