From 3fcde749f78f9dbd46d6d48be12567d7ea9dab56 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Thu, 28 Nov 2013 11:58:35 +0000 Subject: Comments only --- compiler/hsSyn/HsUtils.lhs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'compiler/hsSyn/HsUtils.lhs') diff --git a/compiler/hsSyn/HsUtils.lhs b/compiler/hsSyn/HsUtils.lhs index a27197161f..bdbb5d4e24 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) -- cgit v1.2.1