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


Ignore:
Timestamp:
Dec 20, 2011 1:20:14 PM (2 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 ==