Opened 11 years ago

Closed 7 years ago

#700 closed bug (fixed)

Inconsistent typechecking of pattern match in function binding

Reported by: guest Owned by:
Priority: normal Milestone: 7.0.1
Component: Compiler Version: 6.4.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: typecheck/should_compile/T700
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

f,g :: (forall a. Maybe a) -> (forall a. a)
f x = case x of Just y -> y
g (Just y) = y

f is accepted by 6.4.1, but g isn't. I think g should also be accepted.

Change History (7)

comment:1 Changed 11 years ago by simonpj

Priority: normallowest

Yes, this is a little-used feature that I removed subsequent to GHC 6.4.

Implementing it requires instantiation inside patterns, which was jolly tricky to implement, and all the more so when combined with GADTs etc. And the pain just didn't seem worth the gain; are you really going to have arguments with type (forall a. Maybe a)?

Bottom line: I don't propose to change this unless there are some pretty convincing examples of how useful it'd be. I'm guessing they are hard to find, but I could be wrong.

I'll leave this open, but with verylow priority

Simon

comment:2 Changed 10 years ago by igloo

Milestone: _|_

comment:3 Changed 10 years ago by simonpj

Just to add: recent changes to GHC have made it pretty easy to restore the previous behaviour. It's not a big deal; just an hour or so.

Simon

comment:4 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:5 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple

comment:6 Changed 8 years ago by igloo

Milestone: _|_6.14.1
Priority: lowestnormal
Type of failure: None/Unknown

If it's now easy to fix then I think it's probably worth doing. The current behaviour does seem inconsistent.

comment:7 Changed 7 years ago by simonpj

Resolution: fixed
Status: newclosed
Test Case: typecheck/should_compile/T700

Works fine with the new typechecker.

Simon

Note: See TracTickets for help on using tickets.