Changes between Version 14 and Version 15 of TypeFunctionsTypeChecking


Ignore:
Timestamp:
Aug 15, 2006 7:58:53 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsTypeChecking

    v14 v15  
    3434                 | SynonymTyCon Type    -- rhs of ordinary synonym 
    3535}}} 
    36 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?  Probably not...) 
    37  
    38 Moreover, `BuildTyCls.buildSynTyCon`'s last argument is generalised from `Type` to `Either Kind Type`.  If this argument is `Left kind`, we have a type family; otherwise, we have an ordinary type synonym. 
     36Consequently, 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?  Probably not...)  As a result, `BuildTyCls.buildSynTyCon`'s last argument now also takes a value of type `SynTyConRhs`. 
    3937 
    4038==== GHC API ====