[commit: ghc] master: Comments only (ca2d30c)

[Simon Peyton Jones]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/ca2d30c9f89ea60c6bc4e1879962309ed811b691

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

commit ca2d30c9f89ea60c6bc4e1879962309ed811b691
Author: Simon Peyton Jones <simonpj at microsoft.com>
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]