Changes between Version 119 and Version 120 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 21, 2006 12:51:00 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v119 v120  
    44
    55'''Current:'''
    6  * Where should the family instance consistency check go for GHCi?  `tcGetModuleExports`?  (Where is that function called?)
     6 1. Parsing/renaming for equational constraints
     7 2. Well-formedness checks for equational constraints
     8 3. Add type synonym instances to ifaces
    79
    810== Parsing and Renaming ==