Changes between Version 47 and Version 48 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Dec 20, 2011 1:20:14 PM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v47 v48  
    168168This is a slight annoyance of automatic promotion: when you define a "singleton type"
    169169(like our GADT `Interprt` for `Universe`) you cannot reuse the constructor names.
    170 Oh well.
     170
    171171
    172172== Metadata representation ==