package touist

This is where the compiler errors are managed.

We call a 'message' an error or a warning. Two cases for displaying the errors:

• either one of the parse/eval/smt/sat function will raise the TouistFatal exception. In this case, after the exception is catched, you can run print_msgs.
• or no fatal error has been encoundered; if you want to display the errors, you can run print_msgs.

Rules for good error or warning messages:

• a message must always end with a newline
• use a new line (\n) only when the line break is mandatory for understanding. The text will be wrapped automatically.
• use indentations for pieces of code you want to show: the indentation will be kept when wrapping as long as no \n is encountered. Indented text is colored.
• the text in simple quote '...' or backquotes `...` is colored

Print the errors

Give errors

Change the error formatting