Next: 7.2 Type-Checking
Up: 7 Implementation Notes
Previous: 7 Implementation Notes
- The injection (coercion) applications between a formalism and its
extensions are not yet implemented.
- The type-checker does not report unused phyla.
- It is not yet possible to declare a phylum as non effective to avoid
useless warnings.
- When formalism inclusion is used, the type-checker makes the assumption
that the syntax of the imported formalism is effective.
Next: 7.2 Type-Checking
Up: 7 Implementation Notes
Previous: 7 Implementation Notes
Thierry Despeyroux
Fri May 16 15:24:06 MET DST 1997