[GHC] #10118: No ambiguity check when `ConstrainedClassMethods` is on

26 Feb 2015

      #10118: No ambiguity check when `ConstrainedClassMethods` is on
-------------------------------------+-------------------------------------
              Reporter:  thomie      |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:  7.12.1
             Component:  Compiler    |           Version:  7.10.1-rc2
  (Type checker)                     |  Operating System:  Unknown/Multiple
              Keywords:              |   Type of failure:  None/Unknown
          Architecture:              |        Blocked By:
  Unknown/Multiple                   |   Related Tickets:  #7854
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 The following program is wrongfully accepted when
 `ConstrainedClassMethods` is on:

 {{{#!hs
 module ShouldFail where
 class Foo a where
   op :: Eq b => a -> Int
 }}}

 I have a fix.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10118
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler