Inconsistent typechecking of pattern match in function binding
|Reported by:||guest||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||typecheck/should_compile/T700||Blocked By:|
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:6 Changed 4 years ago by igloo
- Milestone changed from _|_ to 6.14.1
- Priority changed from lowest to normal
- Type of failure set to None/Unknown
Note: See TracTickets for help on using tickets.