Changes between Version 1 and Version 2 of Commentary/Compiler/DataTypes


Ignore:
Timestamp:
May 7, 2011 2:09:36 PM (4 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/DataTypes

    v1 v2  
    2121--------------------------------------------------------------------------- 
    2222The "source data con"            MkT    DataName      The DataCon itself 
    23 The "worker data con"              MkT    VarName       Its worker Id 
     23The "worker data con"            MkT    VarName       Its worker Id 
    2424  aka "representation data con" 
    2525The "wrapper data con"           $WMkT  VarName       Its wrapper Id (optional)