From: simonmar <unknown>
Date: Fri, 23 Feb 2001 10:21:29 +0000 (+0000)
Subject: [project @ 2001-02-23 10:21:29 by simonmar]
X-Git-Tag: Approximately_9120_patches~2558
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1ff7e0c6d3ea0b7db9fe1f9780916fabf9b4cbbd;p=ghc-hetmet.git

[project @ 2001-02-23 10:21:29 by simonmar]
merge rev. 1.49.2.1 from ghc-4-07-branch
---

diff --git a/ghc/compiler/coreSyn/PprCore.lhs b/ghc/compiler/coreSyn/PprCore.lhs
index 004d830..ad211e8 100644
--- a/ghc/compiler/coreSyn/PprCore.lhs
+++ b/ghc/compiler/coreSyn/PprCore.lhs
@@ -309,7 +309,7 @@ pprCoreBinder LambdaBind bndr = pprTypedBinder bndr
 pprCoreBinder CaseBind bndr = pprUntypedBinder bndr
 
 pprUntypedBinder binder
-  | isTyVar binder = ptext SLIT("@") <+> pprTyVarBndr binder
+  | isTyVar binder = ptext SLIT("@") <+> ppr binder	-- NB: don't print kind
   | otherwise      = pprIdBndr binder
 
 pprTypedBinder binder
@@ -321,6 +321,7 @@ pprTypedBinder binder
 	-- It's important that the type is parenthesised too, at least when
 	-- printing interfaces, because we get \ x::(a->b) y::(c->d) -> ...
 
+-- pprIdBndr does *not* print the type
 -- When printing any Id binder in debug mode, we print its inline pragma and one-shot-ness
 pprIdBndr id = ppr id <+> 
 	       (megaSeqIdInfo (idInfo id) `seq`