Changes between Version 6 and Version 7 of TypeDirectedNameResolution


Ignore:
Timestamp:
Nov 17, 2009 12:18:30 PM (5 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: