Changes between Version 11 and Version 12 of TypeFunctionsTypeChecking

Show
Ignore:
Timestamp:
08/15/06 11:18:17 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsTypeChecking

    v11 v12  
    2424 `type family`:: 
    2525   Type synonym families are represented by the standard `TyCon` variant for synonyms, namely `SynTyCon`.  They are distinguished from ordinary type synonyms by the value of the field `synTcRhs`, which is now of a new data type `SynTyConRhs`, which has a variant `OpenSynTyCon` to represent families. 
    26  `type data` and `type newtype`:: 
     26 `data family` and `newtype family`:: 
    2727   Data and newtype families are represented by the `TyCon` variant `AlgTyCon`, as are their non-indexed counter parts, with the difference that the field `algTcRhs` has the newly introduced value `OpenAlgTyCon`.  
    2828