Changes between Version 12 and Version 13 of TypeDirectedNameResolution


Ignore:
Timestamp:
Nov 19, 2009 8:54:19 AM (6 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