Commit 1f1e68b2 authored by simonpj's avatar simonpj

[project @ 2003-11-13 15:02:25 by simonpj]

Improve type pretty-printer
parent 823eeb49
......@@ -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)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment