[GHC] #7433: Promoted constructors accepted without flag

[GHC]

#7433: Promoted constructors accepted without flag
-----------------------------+----------------------------------------------
Reporter:  dreixel           |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.6.1             |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------

Comment(by jpm@…):

 commit 6486213bc4ad307273956bc6164eeeb3f6f31d1c
 {{{
 Author: Jose Pedro Magalhaes <jpm at cs.ox.ac.uk>
 Date:   Wed Nov 21 13:13:44 2012 +0000

     Reject promoted constructors when -XDataKinds is not enabled (FIX
 #7433)

  compiler/typecheck/TcHsType.lhs  |    5 ++++-
  compiler/typecheck/TcRnTypes.lhs |    3 +++
  2 files changed, 7 insertions(+), 1 deletions(-)
 }}}

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