Opened 5 years ago

Closed 5 years ago

#7697 closed bug (fixed)

(=>) works on non-constraints

Reported by: monoidal Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.6.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHC accepts invalid program Test Case: typecheck/should_fail/T7697
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


f :: Int => Int
f = id

compiles in 7.6 and HEAD. It shouldn't?

Change History (2)

comment:1 Changed 5 years ago by simonpj@…

commit 24a0e442ed928e363c594c6389a72852b393b3f9

Author: Simon Peyton Jones <>
Date:   Sun Mar 3 22:49:23 2013 +0000

    Make sure that Constraint is unrelated to other kinds in tcIsSubKind
    This was causing the bug reported in Trac #7697

 compiler/types/Kind.lhs |    9 +++++++--
 1 files changed, 7 insertions(+), 2 deletions(-)

comment:2 Changed 5 years ago by simonpj

difficulty: Unknown
Resolution: fixed
Status: newclosed
Test Case: typecheck/should_fail/T7697

Good catch, thank you!


Note: See TracTickets for help on using tickets.