29 Mar
2006
29 Mar
'06
6:53 a.m.
On 3/29/06, Simon Peyton-Jones
Proposal: make all pattern bindings completely monomorphic (regardless of type signatures)
...
My bet is that this is a feature that is tricky to implement, but which is virtually never used.
If this proposal is implemented, is there a workaround for cases where it is used? Jim