Skip to content
Snippets Groups Projects
Commit 1dd8aff2 authored by Keith Wansbrough's avatar Keith Wansbrough
Browse files

[project @ 1999-03-24 16:52:30 by kw]

Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms).
(re-commit because first mail message didn't get sent)
parent 4a736252
No related merge requests found
......@@ -182,7 +182,7 @@ ppr_ty env ctxt_prec ty@(ForAllTy _ _)
ppr_ty env ctxt_prec (FunTy ty1 ty2)
= maybeParen ctxt_prec fUN_PREC (sep (ppr_ty env fUN_PREC ty1 : pp_rest ty2))
-- we don't want to lose usage annotations or synonyms,
-- so we can't use splitFunTys here.
-- so we mustn't use splitFunTys here.
where
pp_rest (FunTy ty1 ty2) = pp_codom ty1 : pp_rest ty2
pp_rest ty = [pp_codom ty]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment