From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Wed, 20 Sep 2006 18:36:11 +0000 (+0000)
Subject: Fix the tyvars used for data con signatures
X-Git-Tag: After_FC_branch_merge~30
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=0e3e28621c97991cd89cf633c8780469f1e3b4ad;p=ghc-hetmet.git

Fix the tyvars used for data con signatures
Mon Sep 18 19:06:12 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix the tyvars used for data con signatures
  Sat Aug 19 17:19:25 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix the tyvars used for data con signatures
---

diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index c2054e3..c0c1f59 100644
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -306,13 +306,12 @@ tcIdxTyInstDecl1 (decl@TyData {tcdND = new_or_data, tcdLName = L loc tc_name,
        ; checkTc (new_or_data == DataType || isSingleton k_cons) $
 	   newtypeConError tc_name (length k_cons)
 
-       ; final_tvs <- tcDataKindSig (Just $ tyConKind family)
        ; t_typats     <- mappM tcHsKindedType k_typats
        ; stupid_theta <- tcHsKindedContext k_ctxt
 
        ; tycon <- fixM (\ tycon -> do 
 	     { data_cons <- mappM (addLocM (tcConDecl unbox_strict new_or_data 
-					      tycon final_tvs (Just t_typats)))
+					      tycon t_tvs (Just t_typats)))
 				  k_cons
 	     ; tc_rhs <-
 		 case new_or_data of