From 7bb6c5b2827a3af0fb9188bb000997ac59c10122 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Wed, 20 Sep 2006 18:31:39 +0000 Subject: [PATCH] Add missing co_vars to tcIfaceDataAlt Mon Sep 18 17:44:24 EDT 2006 Manuel M T Chakravarty * Add missing co_vars to tcIfaceDataAlt Wed Aug 9 04:45:33 EDT 2006 simonpj@microsoft.com * Add missing co_vars to tcIfaceDataAlt --- compiler/iface/TcIface.lhs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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} -- 1.7.10.4