Changes between Version 12 and Version 13 of TypeDirectedNameResolution


Ignore:
Timestamp:
Nov 19, 2009 8:54:19 AM (4 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeDirectedNameResolution

    v12 v13  
    353353is already rather complicated to typecheck.  I do not want to make it worse. 
    354354 
    355 == Section-style selection == 
     355=== Section-style selection === 
    356356 
    357357We have the option to allow '(.x)' as a valid expression, with its meaning given by the translation