[GHC] #5952: Extra ' in error output concerning promoted kinds

[GHC]

#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:                                     |  
-----------------------------------------------+----------------------------
 When I try to compile the following code, a slightly erroneous error
 message is produced:

 {{{
 {-# LANGUAGE DataKinds #-}

 foo :: 'False
 foo = undefined
 }}}

 The error message is

 {{{
 Kind mis-match
 Expected kind `ArgKind', but `False' has kind 'Bool
 In the type signature for `foo': foo :: False
 }}}

 The problem is that the kind of {{{'False}}} is reported as {{{'Bool}}}.
 However, if you use a kind written {{{'Bool}}} in a program, that program
 fails to compile. As I understand it, the only way to write the kind of
 {{{'False}}} is {{{Bool}}}, without the initial tick.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5952>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler