[commit: ghc] type-holes-branch: I don't think holes should be universally quantified like this. (9edcd26)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : type-holes-branch

http://hackage.haskell.org/trac/ghc/changeset/9edcd26286ce5dd54bc5f4a6937a04235ad3ce3f

>---------------------------------------------------------------

commit 9edcd26286ce5dd54bc5f4a6937a04235ad3ce3f
Author: Thijs Alkemade <thijsalkemade at gmail.com>
Date:   Wed Dec 21 18:57:40 2011 +0100

    I don't think holes should be universally quantified like this.

>---------------------------------------------------------------

 compiler/typecheck/TcRnDriver.lhs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index 200810d..35cf176 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -1431,7 +1431,7 @@ tcRnExpr hsc_env ictxt rdr_expr
     (g, l) <- getEnvs ;
     holes <- readTcRef $ tcl_holes l ;
     liftIO $ putStrLn ("tcRnExpr1.5: " ++ (showSDoc $ ppr $ holes)) ;
-    zonked_holes <- zonkTcTypes $ map (\ty -> mkForAllTys qtvs (mkPiTypes dicts ty)) $ holes ;
+    zonked_holes <- zonkTcTypes $ map (\ty -> mkPiTypes dicts ty) $ holes ;
     liftIO $ putStrLn ("tcRnExpr2: " ++ (showSDoc $ ppr $ map (tidyType emptyTidyEnv) zonked_holes)) ;
     liftIO $ putStrLn ("tcRnExpr3: " ++ (showSDoc $ ppr $ dicts)) ;
     let { all_expr_ty = mkForAllTys qtvs (mkPiTypes dicts res_ty) } ;