projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
823eeb4
)
[project @ 2003-11-13 15:02:25 by simonpj]
author
simonpj
<unknown>
Thu, 13 Nov 2003 15:02:25 +0000
(15:02 +0000)
committer
simonpj
<unknown>
Thu, 13 Nov 2003 15:02:25 +0000
(15:02 +0000)
Improve type pretty-printer
ghc/compiler/types/TypeRep.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/types/TypeRep.lhs
b/ghc/compiler/types/TypeRep.lhs
index
a79a4af
..
90fb9a3
100644
(file)
--- a/
ghc/compiler/types/TypeRep.lhs
+++ b/
ghc/compiler/types/TypeRep.lhs
@@
-526,6
+526,8
@@
ppr_type p ty@(ForAllTy _ _)
split1 tvs (NoteTy (FTVNote _) ty) = split1 tvs ty
split1 tvs ty = (reverse tvs, ty)
+ split2 ps (NoteTy (FTVNote _) arg -- Rather a disgusting case
+ `FunTy` res) = split2 ps (arg `FunTy` res)
split2 ps (PredTy p `FunTy` ty) = split2 (p:ps) ty
split2 ps (NoteTy (FTVNote _) ty) = split2 ps ty
split2 ps ty = (reverse ps, ty)