Inconsistent typechecking of pattern match in function binding
|Reported by:||guest||Owned by:|
|Type of failure:||None/Unknown||Test Case:||typecheck/should_compile/T700|
|Related Tickets:||Differential Rev(s):|
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 7 years ago by
|Milestone:||_|_ → 6.14.1|
|Priority:||lowest → normal|
|Type of failure:||→ None/Unknown|
Note: See TracTickets for help on using tickets.