Changes between Version 19 and Version 20 of TypeFunctionsTypeChecking


Ignore:
Timestamp:
Aug 17, 2006 9:34:38 PM (9 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