Changes between Version 12 and Version 13 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 2, 2006 12:12:34 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v12 v13  
    1010 
    1111Todo (high-level): 
    12  1. Complete parsing of associated type synonyms.  (Syntactically type declarations can already occur in classes, but I am not sure whether the AST building routines can already deal with this.) & parse type functions.  Type functions signatures: 
    13  {{{ 
    14 type [iso] T a1 .. an [:: <kind>] 
    15 }}} 
    16  Type function equations: 
    17  {{{ 
    18 type T t1 .. tn = t 
    19 }}} 
    20  2. Rename associated type synonyms & rename type functions. 
    21  3. Parse and rename equality constraints in signatures. 
     12 1. Parse and rename equality constraints in signatures. 
    2213 
    2314Done: 
    24  * Parsing and renaming associated data types. 
     15 * Parsing and renaming of kind signatures (toplevel and in classes). 
     16 * Parsing and renaming of indexed types declarations (partly done). 
    2517 
    2618