Changes between Version 6 and Version 7 of TypeDirectedNameResolution


Ignore:
Timestamp:
Nov 17, 2009 12:18:30 PM (6 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeDirectedNameResolution

    v6 v7  
    151151extension of qualified names, it ought to be the latter.
    152152
    153 == Alternative syntax ==
     153== Stacking operations ==
    154154
    155155Another possibility for syntax is this: