Ticket #2357 (closed task: fixed)
Implement the Haskell' proposal for polymorphic pattern bindings
|Reported by:||simonmar||Owned by:|
|Component:||Compiler (Type checker)||Version:||6.8.2|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||typecheck/should_compile/T2357||Blocked By:|
After discussion on the Haskell' mailing list, it was decided that Haskell' will keep polymorphic pattern bindings, with static semantics defined by a translation.