From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Wed, 20 Sep 2006 18:31:39 +0000 (+0000)
Subject: Add missing co_vars to tcIfaceDataAlt
X-Git-Tag: After_FC_branch_merge~39
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=7bb6c5b2827a3af0fb9188bb000997ac59c10122

Add missing co_vars to tcIfaceDataAlt
Mon Sep 18 17:44:24 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Add missing co_vars to tcIfaceDataAlt
  Wed Aug  9 04:45:33 EDT 2006  simonpj@microsoft.com
    * Add missing co_vars to tcIfaceDataAlt
---

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index e72742b..1f3c5d4 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -681,14 +681,14 @@ tcIfaceAlt (tycon, inst_tys) (IfaceTupleAlt boxity, arg_occs, rhs)
 tcIfaceDataAlt con inst_tys arg_strs rhs
   = do	{ us <- newUniqueSupply
 	; let uniqs = uniqsFromSupply us
-	; let (ex_tvs, co_tvs, arg_ids) = 
-	        dataConRepFSInstPat arg_strs uniqs con inst_tys
-              all_tvs                   = ex_tvs ++ co_tvs
+	; let (ex_tvs, co_tvs, arg_ids)
+	              = dataConRepFSInstPat arg_strs uniqs con inst_tys
+              all_tvs = ex_tvs ++ co_tvs
 
 	; rhs' <- extendIfaceTyVarEnv all_tvs	$
 		  extendIfaceIdEnv arg_ids	$
 		  tcIfaceExpr rhs
-	; return (DataAlt con, ex_tvs ++ arg_ids, rhs') }
+	; return (DataAlt con, all_tvs ++ arg_ids, rhs') }
 \end{code}