Changes between Version 1 and Version 2 of Records/SyntaxDirectedNameResolution

Show
Ignore:
Timestamp:
02/27/12 00:19:22 (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Records/SyntaxDirectedNameResolution

    v1 v2  
     1= Syntax Directed Name Resolution = 
     2 
    13The idea is a # prefix for identifiers.  `#f` is a "type directed function".  It 
    24requires the type of its argument to be monomorphic, and is desugared to `M.f`,