Skip to main content

module Message


Provides the Message datatype that represents error messages and warnings.


import Message;

Messages can be used to communicate information about source texts. They can be interpreted by IDEs to display type errors and warnings, etc.

Messages are, for instance, used as additional keyword fields of other data types (syntax trees), or collected in sets or lists of errors to be published in an IDE. See IDEServices.

data Message

Symbolic representation of error messages with a source location of the cause.

data Message  
= error(str msg, loc at)
| error(str msg)
| warning(str msg, loc at)
| info(str msg, loc at)