From: sof <unknown>
Date: Wed, 30 Sep 1998 07:54:05 +0000 (+0000)
Subject: [project @ 1998-09-30 07:54:05 by sof]
X-Git-Tag: Approx_2487_patches~257
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=56779b1cc8c41cc251ef27212b4bf3a8bc34b66a;p=ghc-hetmet.git

[project @ 1998-09-30 07:54:05 by sof]
wibble
---

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