#11217: Empty GADT-style declaration accepted without extensions -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following module compiles without complaint: {{{#!hs module Bug where data Foo where }}} It should require `-XGADTSyntax`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11217> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler