Permalink
Browse files

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

  • Loading branch information...
1 parent 0085a5d commit add6a3e4dc9f23b9147a4d25932a1e2d41f8829a @xnyhps committed Dec 21, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 compiler/typecheck/TcRnDriver.lhs
@@ -1339,7 +1339,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) } ;

0 comments on commit add6a3e

Please sign in to comment.