#7385: Promotion of datatypes without -XDataKinds
-----------------------------------------+----------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.7 | Keywords: DataKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Testcase:
Blockedby: | Blocking:
Related: |
-----------------------------------------+----------------------------------
The following code, without any extensions, compiles:
{{{
type Foo = False
}}}
It would seem necessary to enable {{{-XDataKinds}}}, but GHC does not
enforce this requirement. This was tested on 7.7.20121031.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7385>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
