Changes between Version 28 and Version 29 of Commentary/Packages/Concepts


Ignore:
Timestamp:
Jan 18, 2016 6:33:35 PM (4 years ago)
Author:
thomie
Comment:

Refer to Note in source code

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Packages/Concepts

    v28 v29  
    88
    99The content here overlaps with wiki:Commentary/Packages but is looking at the latest iteration of the multi-instances and Backpack work.
     10
     11See also `Note [The identifier lexicon]` in `compiler/basicTypes/Module.hs`.
    1012
    1113Some relevant tickets: #10622