|Version 1 (modified by 11 years ago) (diff),|
Type Functions: Implementation Status
Parsing and Renaming
- 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.
- Rename associated type synonyms & rename type functions.
- Parse and rename equality constraints in signatures.
- Parsing and renaming associated data types.
- Type checking of associated data types.
- Type checking of type functions (and hence, associated type synonyms).
- Type check functional dependencies as type functions.
- Kind checking for associated data types.
- Desugar associated data types.
- Desugar type functions and equality constraints.
- Extend interface files.