Changes between Version 7 and Version 8 of TypeFunctionsTypeChecking

Show
Ignore:
Timestamp:
08/14/06 13:46:44 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsTypeChecking

    v7 v8  
    2828 
    2929To represent type families (which do not have a fixed right hand side), the type of `synTcRhs` changed from `Type` to `Maybe Type`.  Consequently, all functions that dependent on this field need to be extended.  In particular, `TcType.isTauTyCon` regards applications of type family constructors as ''tau types''.  (SPJ, is that ok?) 
     30 
     31Moreover, `BuildTyCls.buildSynTyCon`'s last argument is generalised from `Type` to `Either Kind Type`.  If this argument is `Just kind`, we have a type family; otherwise, we have an ordinary type synonym. 
    3032 
    3133=== Desugaring indexed data types ===