From: simonpj <unknown>
Date: Wed, 18 Sep 2002 16:05:45 +0000 (+0000)
Subject: [project @ 2002-09-18 16:05:45 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1655
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ffc8dd845872059414a7987eff71db8af09ca697;p=ghc-hetmet.git

[project @ 2002-09-18 16:05:45 by simonpj]
Fix LIE-plumbing bogon that killed spectral/fibheaps
---

diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs
index c2aeb13..ae28e06 100644
--- a/ghc/compiler/typecheck/TcBinds.lhs
+++ b/ghc/compiler/typecheck/TcBinds.lhs
@@ -126,10 +126,10 @@ tc_binds_and_then top_lvl combiner (MonoBind bind sigs is_rec) do_next
       mappM tcTySig [sig | sig@(Sig name _ _) <- sigs]	`thenM` \ tc_ty_sigs ->
   
 
-      getLIE (
-          tcBindWithSigs top_lvl bind tc_ty_sigs
-		         sigs is_rec 			`thenM` \ (poly_binds, poly_ids) ->
+      tcBindWithSigs top_lvl bind 
+		     tc_ty_sigs sigs is_rec	`thenM` \ (poly_binds, poly_ids) ->
   
+      getLIE (
 	  -- Extend the environment to bind the new polymorphic Ids
 	  tcExtendLocalValEnv poly_ids			$
   
@@ -139,8 +139,8 @@ tc_binds_and_then top_lvl combiner (MonoBind bind sigs is_rec) do_next
 	  -- Now do whatever happens next, in the augmented envt
 	  do_next			`thenM` \ thing ->
 
-	  returnM (poly_ids, poly_binds, prag_binds, thing)
-      )	  `thenM` \ ((poly_ids, poly_binds, prag_binds, thing), lie) ->
+	  returnM (prag_binds, thing)
+      )	  `thenM` \ ((prag_binds, thing), lie) ->
 
       case top_lvl of