Changes between Version 5 and Version 6 of TypeFunctionsCore


Ignore:
Timestamp:
Aug 17, 2006 10:16:50 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsCore

    v5 v6  
    2424Neverthless, we need to generate a new name for the vanilla data types representing family members (i.e., `Tinst` above).  We use a similar mechanism as for the generation of the dictionary type constructors of type classes.  In particular, we generalise the field `algTcClass` of the internal representation for datatypes, `TyCon.AlgTyCon` and rename it to `algTcParent` with type 
    2525{{{ 
    26 data AlgTyConParent = OrdinaryTyCon 
     26data AlgTyConParent = NoParentTyCon 
    2727                    | ClassTyCon    Class 
    28                     | FamInstTyCon  TyCon 
     28                    | FamilyTyCon   TyCon 
    2929}}} 
    3030