7. Limitations

The main limitations in the current version of tnc are as follows:

• There is no error recovery,

• There is no support for foreign sorts,

• The support for tokenised tokens is limited and undocumented.

In addition, far more of the checks (scopes, shape checking, checking of consistency of declarations and definitions etc.) are implemented for read mode rather than decode mode. To shape check a TDF capsule, it will almost certainly be more effective to translate it into text and check that.

Another limitation is that the scoping rules for local tags do not allow such tags to be accessed outside their scopes using env_offset.