Repository : http://darcs.haskell.org/ghc.git/
On branch : master https://github.com/ghc/ghc/commit/ca2d30c9f89ea60c6bc4e1879962309ed811b691 >--------------------------------------------------------------- commit ca2d30c9f89ea60c6bc4e1879962309ed811b691 Author: Simon Peyton Jones <[email protected]> Date: Wed May 15 10:32:13 2013 +0100 Comments only >--------------------------------------------------------------- compiler/typecheck/TcHsType.lhs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs index 703ab95..dd0155e 100644 --- a/compiler/typecheck/TcHsType.lhs +++ b/compiler/typecheck/TcHsType.lhs @@ -387,6 +387,9 @@ tc_hs_type hs_ty@(HsAppTy ty1 ty2) exp_kind ; arg_tys' <- tcCheckApps hs_ty fun_ty fun_kind arg_tys exp_kind ; return (mkNakedAppTys fun_ty' arg_tys') } -- mkNakedAppTys: see Note [Zonking inside the knot] + -- This looks fragile; how do we *know* that fun_ty isn't + -- a TyConApp, say (which is never supposed to appear in the + -- function position of an AppTy)? where (fun_ty, arg_tys) = splitHsAppTys ty1 [ty2] _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
