From 1f1e68b21b14335932d3ffd06ba3e335515ae384 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 13 Nov 2003 15:02:25 +0000 Subject: [PATCH] [project @ 2003-11-13 15:02:25 by simonpj] Improve type pretty-printer --- ghc/compiler/types/TypeRep.lhs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs index a79a4af..90fb9a3 100644 --- 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) -- 1.7.10.4