[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