Changes between Version 8 and Version 9 of Records/SyntaxDirectedNameResolution


Ignore:
Timestamp:
Feb 28, 2012 12:14:42 AM (4 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: