#9634: "data X = 1": "Illegal literal in type (use DataKinds to enable): 1" -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.9 checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- This error message is not good. "1" is not in a type position, and DataKinds will not help anything. Well, except the error message, which with DataKinds enabled is instead {{{ parse error in constructor in data/newtype declaration: 1 }}} If it's not hard, we should give that error message also when DataKinds is disabled. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9634 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler