Changes between Version 5 and Version 6 of MonomorphicPatternBindings


Ignore:
Timestamp:
Sep 17, 2006 2:33:33 AM (9 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphicPatternBindings

    v5 v6  
    6868My conclusion: polymorphic pattern bindings is a feature that is virtually never used, and not even necessary then.  We should nuke them. 
    6969 
     70Comment: A polymorphic pattern binding isn't required in the above example, but the original code seems more elegant. Why not make monomorphism the default and permit polymorphism only when there is an explicit type signature on the binding?