Changes between Version 55 and Version 56 of TypeFunctionsStatus
- Aug 19, 2006 10:10:50 PM (10 years ago)
v55 v56 4 4 5 5 '''Current:''' 6 * 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. 6 * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: produce an equality axiom. 7 7 * 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 8 * Handle `newtype instance`.