X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;h=1552e54d291e8acf9d22db78f4677a8ef6e90001;hb=56779b1cc8c41cc251ef27212b4bf3a8bc34b66a;hp=cb56629c1de6a7b32ebed3af51c1c470ce7e1a7d;hpb=ba013704bfb94aa133fb28f342e0d432698a5d6d;p=ghc-hetmet.git

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