| 16 | | I've been meaning to give GHC a flag to give it this behaviour, so that I can see if any Haskell programs break. My bet is that this is a feature that is tricky to implement, but which is virtually never used. Removing it would simplify the language. |
| | 18 | == Experiment == |
| | 19 | |
| | 20 | In July I changed GHC (the HEAD) to make pattern bindings monomorphic by default. (A binding of a simple variable is not considered to be a pattern binding.) The flag {{{-fno-mono-pat-binds}}} restores the standard behaviour. |
| | 21 | |
| | 22 | The interesting observation is this: all of the libraries compile without a tremor, and I have received no mail whatsoever complaining about the new behaviuor. I deliberated made the new behaviour the default so that I'd hear of any breakaga. |
| | 23 | |
| | 24 | My conclusion: polymorphic pattern bindings is a feature that is virtually never used. We should nuke them. |
| | 25 | |
