Changes between Version 129 and Version 130 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 3, 2007 2:39:27 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v129 v130  
    44
    55'''Current:'''
     6 0. Rename `HsDecls.TyFunction` into `TyFamily` and use for both `type family` and `data family` declarations.
    67 1. Dictionary handling for equational constraints:
    78   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?)