Changes between Version 1 and Version 2 of Records/SyntaxDirectedNameResolution


Ignore:
Timestamp:
Feb 27, 2012 8:19:22 AM (2 years 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`,