[commit: ghc] type-holes-branch: I don't think holes should be universally quantified like this. (9edcd26)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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) } ;