[GHC] #9858: Typeable instance for datatype and its promoted constructor is the same

3 Dec 2014

      #9858: Typeable instance for datatype and its promoted constructor is the same
-------------------------------------+-------------------------------------
       Reporter:  dreixel            |                   Owner:
           Type:  bug                |                  Status:  new
       Priority:  normal             |               Milestone:  7.10.1
      Component:  Compiler           |                 Version:  7.9
       Keywords:                     |        Operating System:
   Architecture:  Unknown/Multiple   |  Unknown/Multiple
     Difficulty:  Easy (less than 1  |         Type of failure:
  hour)                              |  None/Unknown
     Blocked By:                     |               Test Case:
Related Tickets:                     |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
 {{{
 {-# LANGUAGE DataKinds              #-}
 {-# LANGUAGE AutoDeriveTypeable     #-}

 import Data.Typeable

 data A = A

 main = print $ typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy 'A)
 }}}

 This returns `True`, but it should return `False`.

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