Changes between Version 8 and Version 9 of Records/SyntaxDirectedNameResolution


Ignore:
Timestamp:
Feb 28, 2012 12:14:42 AM (3 years ago)
Author:
elaforge
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/SyntaxDirectedNameResolution

    v8 v9  
    104104 
    105105Also, composed set will run into problems.  So lets build lenses into the 
    106 language.  Two changes: as a convenience, `deriving (Lens)` will generate 
    107 lenses for the fields instead of get functions.  And, the # reduction will 
    108 treat an argument type of `Lens a b` specially, requiring that the type of `a` 
    109 being known, and looking in its module. 
     106language.  Let's alter # resolution so it expects a type `Lens a b` where 
     107`a` is known, and looks in the module that defines `a`.  To make nicer 
     108looking examples, I'll also assume we can write `deriving (Lens)` to 
     109make ghc generate lenses for the fields instead of get functions. 
    110110 
    111111M.hs: