Changes between Version 54 and Version 55 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 18, 2006 10:41:58 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v54 v55  
    66 * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: (1) probably need to generate a new name ('''DONE'''); (2) produce a `TyCon` with non-standard worker and wrapper and (3) produce an equality axiom. 
    77 * In the exiting test for datacon validity, `checlValidDataCon`, we need to add a new test that checks for a data instance datacon that its tycon has the `FamilyTyCon` flag set and that it refers to the correct family tycon. 
     8 * Handle `newtype instance`. 
    89 
    910== Parsing and Renaming ==