Changes between Version 19 and Version 20 of TypeFunctionsTypeChecking

Show
Ignore:
Timestamp:
08/17/06 14:34:38 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsTypeChecking

    v19 v20  
    4848== Core representation of instances of indexed types == 
    4949 
     50=== Representation of data instances === 
     51 
     52When building the `TyCon` representing a `data instance`, we need to derive a new name from the family name.  To this end, we add a new Boolean argument to `BuildTyCl.buildAlgTyCon` that indicates that a new name has to be generated and registered.  We currently use `newImplicitBinder`. 
     53 
    5054=== Representation of type equation axioms === 
    5155