Changes between Version 48 and Version 49 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 16, 2006 10:20:43 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v48 v49  
    44 
    55'''Current:'''  
    6  * Compute `TyCon`s resulting from type instance declarations; then, test type checking of declarations of indexed types. 
     6 * Complete `TcTyClsDecls.tcIdxTyInstDecl1` for `TyData`: (1) probably need to generate a new name; (2) produce a `TyCon`, which requires to extend the result type, and (3) produce an equality axiom.  The produced `TyCon` need to be entered into the global environment, including all its `implicitTyThings`, by the caller, namely `TcInstDecls.tcInstDecls1`. 
    77 
    88== Parsing and Renaming == 
     
    5555 3. Desugar type functions and equality constraints. 
    5656 
    57 Done: Nothing. 
     57Done: 
     58 * Representation of kind signatures as `TyCon.TyCon`s. 
     59 * Extension of `Class.Class` by associated `TyCon`s. 
    5860 
    5961