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