From: simonpj <unknown>
Date: Thu, 13 Nov 2003 15:02:25 +0000 (+0000)
Subject: [project @ 2003-11-13 15:02:25 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~256
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1f1e68b21b14335932d3ffd06ba3e335515ae384;p=ghc-hetmet.git

[project @ 2003-11-13 15:02:25 by simonpj]
Improve type pretty-printer
---

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)