[GHC] #8574: Failure to require FlexibleContexts

[GHC]

#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