[GHC] #11120: Missing type representations

[GHC]

#11120: Missing type representations
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:
            Type:  bug               |               Status:  closed
        Priority:  high              |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  typecheck/should_run/TypeOf,
                                     |  typecheck/should_run/TypeRep
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1774
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by magesh.b):

 Does this fix the representation for lifted tuple as well?
 I'm getting following error when tried to typeOf with lifted tuple

 {{{
 Prelude> :set -XDataKinds
 Prelude> import Data.Typeable as T
 Prelude T> import Data.Proxy as P
 Prelude T P> typeOf (Proxy :: Proxy '(1,2))
 GHC error in desugarer lookup in Ghci1:
   Can't find interface-file declaration for variable $tc'(,)
     Probable cause: bug in .hi-boot file, or inconsistent .hi file
     Use -ddump-if-trace to get an idea of which file caused the error
 ghc: panic! (the 'impossible' happened)
   (GHC version 8.0.1 for x86_64-unknown-linux):
         initDs IOEnv failure

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

 }}}

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