diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-11-28 11:58:35 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-11-28 11:58:35 +0000 |
| commit | 3fcde749f78f9dbd46d6d48be12567d7ea9dab56 (patch) | |
| tree | 1c9dd1cc28183409911c01f6e378cdc9baff0e49 /compiler/hsSyn | |
| parent | 9bc5b530811407b19882b6c479a05b99c1329962 (diff) | |
| download | haskell-3fcde749f78f9dbd46d6d48be12567d7ea9dab56.tar.gz | |
Comments only
Diffstat (limited to 'compiler/hsSyn')
| -rw-r--r-- | compiler/hsSyn/HsUtils.lhs | 5 |
1 files changed, 4 insertions, 1 deletions
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) |