Changes between Version 8 and Version 9 of TypeFunctionsTypeChecking


Ignore:
Timestamp:
Aug 14, 2006 9:25:46 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsTypeChecking

    v8 v9  
    2222 
    2323The function `TcTyClsDecls.tcTyClsDecls` produces `TypeRep.TyThing`s from type and class declarations.  The `TyThing`s produced from the new declaration forms are the following: 
    24  `type family` 
     24 `type family`:: 
    2525   Type synonym families are represented by the standard `TyCon` variant for synonyms, namely `SynTyCon`.  However, they are distinguished from ordinary type synonyms by a value `Nothing` in the field `synTcRhs`. 
     26 `type data` and `type newtype`:: 
     27   Data and newtype families are represented by the `TyCon` variant `AlgTyCon`, as are their non-indexed counter parts.  The field `algTcRhs` is currently `AbstractTyCon`.  '''However, when we handle type families in ifaces, we probably want to distinguish their declarations by introducing a new `OpenTyCon`.''' 
    2628 
    2729==== Synonym type constructors: `SynTyCon` ====