From 1dd8aff2e97484a6a887bc0606d3a2e39cce2fa1 Mon Sep 17 00:00:00 2001
From: kw <unknown>
Date: Wed, 24 Mar 1999 16:52:30 +0000
Subject: [PATCH] [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)
---
ghc/compiler/types/PprType.lhs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ghc/compiler/types/PprType.lhs b/ghc/compiler/types/PprType.lhs
index 7c2260f1383b..b3b31632eb10 100644
--- a/ghc/compiler/types/PprType.lhs
+++ b/ghc/compiler/types/PprType.lhs
@@ -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]
--
GitLab