Opened 3 years ago

Closed 3 years ago

Last modified 2 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:

Description

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 3 years ago by thomie

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

comment:2 Changed 3 years ago by thomie

Resolution: fixed
Status: patchclosed

comment:3 Changed 3 years ago by thomie

Test Case: typecheck/should_fail/T10118

comment:4 Changed 2 years ago by thoughtpolice

Milestone: 7.12.18.0.1

Milestone renamed

Note: See TracTickets for help on using tickets.