Opened 5 years ago

Closed 5 years ago

Last modified 4 years ago

#10118 closed bug (fixed)

No ambiguity check when `ConstrainedClassMethods` is on

Reported by: thomie Owned by:
Priority: normal Milestone: 8.0.1
Component: Compiler (Type checker) Version: 7.10.1-rc2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: #7854 Differential Rev(s): Phab:D686
Wiki Page:


The following program is wrongfully accepted when ConstrainedClassMethods is on:

module ShouldFail where
class Foo a where
  op :: Eq b => a -> Int

I have a fix.

Change History (4)

comment:1 Changed 5 years ago by thomie

Differential Rev(s): Phab:D686
Status: newpatch
Test Case: typecheck/should_fail/T10118

comment:2 Changed 5 years ago by thomie

Resolution: fixed
Status: patchclosed

comment:3 Changed 5 years ago by thomie

Test Case: typecheck/should_fail/T10118

comment:4 Changed 4 years ago by thoughtpolice


Milestone renamed

Note: See TracTickets for help on using tickets.