From 0e3e28621c97991cd89cf633c8780469f1e3b4ad Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Wed, 20 Sep 2006 18:36:11 +0000 Subject: [PATCH] Fix the tyvars used for data con signatures Mon Sep 18 19:06:12 EDT 2006 Manuel M T Chakravarty * Fix the tyvars used for data con signatures Sat Aug 19 17:19:25 EDT 2006 Manuel M T Chakravarty * Fix the tyvars used for data con signatures --- compiler/typecheck/TcTyClsDecls.lhs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 1.7.10.4