[GHC] #5952: Extra ' in error output concerning promoted kinds
GHC
cvs-ghc at haskell.org
Thu Apr 5 14:37:37 CEST 2012
#5952: Extra ' in error output concerning promoted kinds
-----------------------------------------------+----------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.5 | Keywords: DataKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Incorrect warning at compile-time | Testcase:
Blockedby: | Blocking:
Related: |
-----------------------------------------------+----------------------------
Comment(by simonpj@…):
commit 6100eb449c613e003e6114e03f1408f0366a8dba
{{{
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Apr 5 11:42:53 2012 +0100
Fix Trac #5952, by changing the Outputable TyCon instance,
so that it does not print a quote in front of a promoted
TyCon in a Kind.
I also systematically renamed
PromotedTypeTyCon --> PromotedTyCon
PromotedDataTyCon --> PromotedDataCon
compiler/basicTypes/DataCon.lhs | 2 +-
compiler/simplCore/OccurAnal.lhs | 9 ++++---
compiler/types/Kind.lhs | 2 +-
compiler/types/TyCon.lhs | 48
+++++++++++++++++++------------------
compiler/types/Type.lhs | 2 +-
5 files changed, 33 insertions(+), 30 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5952#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list