[GHC] #7385: Promotion of datatypes without -XDataKinds

[GHC]

#7385: Promotion of datatypes without -XDataKinds
---------------------------------+------------------------------------------
    Reporter:  goldfire          |        Owner:                             
        Type:  bug               |       Status:  closed                     
    Priority:  normal            |    Component:  Compiler                   
     Version:  7.7               |   Resolution:  worksforme                 
    Keywords:  DataKinds         |           Os:  Unknown/Multiple           
Architecture:  Unknown/Multiple  |      Failure:  GHC accepts invalid program
    Testcase:                    |    Blockedby:                             
    Blocking:                    |      Related:                             
---------------------------------+------------------------------------------
Changes (by goldfire):

  * status:  new => closed
  * resolution:  => worksforme


Comment:

 It turns out my GHCi session had {{{-XDataKinds}}} enabled. Sorry for the
 noise.

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