Opened 2 years ago

Closed 2 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 Revisions:

Description

f :: Int => Int
f = id

compiles in 7.6 and HEAD. It shouldn't?

Change History (2)

comment:1 Changed 2 years ago by simonpj@…

commit 24a0e442ed928e363c594c6389a72852b393b3f9

Author: Simon Peyton Jones <[email protected]>
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 2 years ago by simonpj

  • difficulty set to Unknown
  • Resolution set to fixed
  • Status changed from new to closed
  • Test Case set to typecheck/should_fail/T7697

Good catch, thank you!

Simon

Note: See TracTickets for help on using tickets.