Changes between Version 119 and Version 120 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 21, 2006 12:51:00 AM (7 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 ==