[commit: ghc] master: Comments only (3fcde74)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/3fcde749f78f9dbd46d6d48be12567d7ea9dab56/ghc

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

commit 3fcde749f78f9dbd46d6d48be12567d7ea9dab56
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Nov 28 11:58:35 2013 +0000

    Comments only


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

3fcde749f78f9dbd46d6d48be12567d7ea9dab56
 compiler/hsSyn/HsUtils.lhs |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/hsSyn/HsUtils.lhs b/compiler/hsSyn/HsUtils.lhs
index a271971..bdbb5d4 100644
--- a/compiler/hsSyn/HsUtils.lhs
+++ b/compiler/hsSyn/HsUtils.lhs
@@ -416,7 +416,10 @@ toHsType ty
     to_hs_type (TyVarTy tv) = nlHsTyVar (getRdrName tv)
     to_hs_type (AppTy t1 t2) = nlHsAppTy (toHsType t1) (toHsType t2)
     to_hs_type (TyConApp tc args) = nlHsTyConApp (getRdrName tc) (map toHsType args')
-       where args' = filter (not . isKind) args
+       where 
+         args' = filterOut isKind args
+         -- Source-language types have _implicit_ kind arguments,
+         -- so we must remove them here (Trac #8563)
     to_hs_type (FunTy arg res) = ASSERT( not (isConstraintKind (typeKind arg)) )
                                  nlHsFunTy (toHsType arg) (toHsType res)
     to_hs_type t@(ForAllTy {}) = pprPanic "toHsType" (ppr t)