#8574: Failure to require FlexibleContexts --------------------------+------------------------------------------------ Reporter: | Owner: Feuerbach | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: | Operating System: Unknown/Multiple Compiler (Parser) | Type of failure: GHC accepts invalid program Keywords: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ GHC accepts the following code without any extensions: {{{ f :: Ord (i Int) => i Int -> i Int f = undefined }}} It ought to require FlexibleContexts. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8574 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler