X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FHscMain.lhs;h=b4026e8b0ec814d2f6c8f7ce1375c49b428ba03f;hb=efb02b428941021771c9b9b955bba3ec0214dbaf;hp=50a015fa47c0e68d76435250c7aa897359c61506;hpb=671b39c5b40e5a3105e4ffb49b673b20ce96ba15;p=ghc-hetmet.git

diff --git a/compiler/main/HscMain.lhs b/compiler/main/HscMain.lhs
index 50a015f..b4026e8 100644
--- a/compiler/main/HscMain.lhs
+++ b/compiler/main/HscMain.lhs
@@ -398,7 +398,7 @@ batchMsg mb_mod_index recomp
          liftIO $ do
          if recomp
             then showMsg "Compiling "
-            else if verbosity (hsc_dflags hsc_env) >= 1
+            else if verbosity (hsc_dflags hsc_env) >= 2
                     then showMsg "Skipping  "
                     else return ()
 
@@ -797,7 +797,7 @@ A naked expression returns a singleton Name [it].
 hscStmt		-- Compile a stmt all the way to an HValue, but don't run it
   :: HscEnv
   -> String			-- The statement
-  -> IO (Maybe (InteractiveContext, [Name], HValue))
+  -> IO (Maybe ([Id], HValue))
 
 hscStmt hsc_env stmt
   = do	{ maybe_stmt <- hscParseStmt (hsc_dflags hsc_env) stmt
@@ -812,12 +812,11 @@ hscStmt hsc_env stmt
 
 	; case maybe_tc_result of {
 		Nothing -> return Nothing ;
-		Just (new_ic, bound_names, tc_expr) -> do {
-
+		Just (ids, tc_expr) -> do {
 
 	 	-- Desugar it
-	; let rdr_env  = ic_rn_gbl_env new_ic
-	      type_env = ic_type_env new_ic
+	; let rdr_env  = ic_rn_gbl_env icontext
+	      type_env = mkTypeEnv (map AnId (ic_tmp_ids icontext))
 	; mb_ds_expr <- deSugarExpr hsc_env iNTERACTIVE rdr_env type_env tc_expr
 	
 	; case mb_ds_expr of {
@@ -828,7 +827,7 @@ hscStmt hsc_env stmt
 	; let src_span = srcLocSpan interactiveSrcLoc
 	; hval <- compileExpr hsc_env src_span ds_expr
 
-	; return (Just (new_ic, bound_names, hval))
+	; return (Just (ids, hval))
 	}}}}}}}
 
 hscTcExpr	-- Typecheck an expression (but don't run it)