Synopsis A Message datatype that represents messages in the IDE.
data Message = error(str msg, loc at)
             | warning(str msg, loc at)
             | info(str msg, loc at);
Usage import Message;
Details Message
Description 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 AlgebraicDataType annotations.

The Message library provides the following:
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit