From 56779b1cc8c41cc251ef27212b4bf3a8bc34b66a Mon Sep 17 00:00:00 2001 From: sof Date: Wed, 30 Sep 1998 07:54:05 +0000 Subject: [PATCH] [project @ 1998-09-30 07:54:05 by sof] wibble --- ghc/compiler/typecheck/TcBinds.lhs | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs index cb56629..1552e54 100644 --- a/ghc/compiler/typecheck/TcBinds.lhs +++ b/ghc/compiler/typecheck/TcBinds.lhs @@ -337,16 +337,17 @@ tcBindWithSigs top_lvl binder_names mbind tc_ty_sigs is_rec prag_info_fn mk_export binder_name mono_id zonked_mono_id_ty = (tyvars, TcId (replaceIdInfo poly_id (prag_info_fn binder_name)), TcId mono_id) where - (tyvars, poly_id) = case maybeSig tc_ty_sigs binder_name of - Just (TySigInfo _ sig_poly_id sig_tyvars _ _ _) -> (sig_tyvars, sig_poly_id) - Nothing -> (real_tyvars_to_gen_list, new_poly_id) + (tyvars, poly_id) = + case maybeSig tc_ty_sigs binder_name of + Just (TySigInfo _ sig_poly_id sig_tyvars _ _ _) -> (sig_tyvars, sig_poly_id) + Nothing -> (real_tyvars_to_gen_list, new_poly_id) new_poly_id = mkUserId binder_name poly_ty - poly_ty = mkForAllTys real_tyvars_to_gen_list $ mkFunTys dict_tys $ zonked_mono_id_ty - -- It's important to build a fully-zonked poly_ty, because - -- we'll slurp out its free type variables when extending the - -- local environment (tcExtendLocalValEnv); if it's not zonked - -- it appears to have free tyvars that aren't actually free at all. + poly_ty = mkForAllTys real_tyvars_to_gen_list $ mkFunTys dict_tys zonked_mono_id_ty + -- It's important to build a fully-zonked poly_ty, because + -- we'll slurp out its free type variables when extending the + -- local environment (tcExtendLocalValEnv); if it's not zonked + -- it appears to have free tyvars that aren't actually free at all. in -- BUILD RESULTS -- 1.7.10.4