[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)

diff --git a/ghc/compiler/types/PprType.lhs b/ghc/compiler/types/PprType.lhs
index 7c2260f..b3b3163 100644 (file)
--- 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]