Changes between Version 2 and Version 3 of OverloadedLists


Ignore:
Timestamp:
Nov 6, 2012 3:09:19 PM (3 years ago)
Author:
giorgidze
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OverloadedLists

    v2 v3  
    143143}}}
    144144
    145 Here, just like for expression, we propose to overload list patterns that use
     145Here, just like for expressions, we propose to overload list patterns that use
    146146square brackets. The {{{:}}} infix operator will remain list specific both in
    147147expressions and patterns. In other words, {{{:}}} is not overloaded.