Ticket #7385 (closed bug: worksforme)

Opened 8 months ago

Last modified 8 months ago

Promotion of datatypes without -XDataKinds

Reported by: goldfire Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.7
Keywords: DataKinds Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHC accepts invalid program Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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.

Change History

Changed 8 months ago by goldfire

  • status changed from new to closed
  • resolution set to worksforme

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

Note: See TracTickets for help on using tickets.