Target Language Compiler

TLC Function Library Error Messages

There are many error messages generated by the TLC function library that are not documented. These messages are sufficiently self-descriptive so that they do not need additional explanation. However, if you come across an error message that you feel needs more description, contact our technical support staff and we will update it in a future release (and give more explanation).

TLC Error Messages

Using TLC with Emacs