Implement the Haskell' proposal for polymorphic pattern bindings
After discussion on the Haskell' mailing list, it was decided that Haskell' will keep polymorphic pattern bindings, with static semantics defined by a translation.
|Component||Compiler (Type checker)|
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information