Name Rascal/Libraries/Prelude/Message

Synopsis A Message datatype that represents messages in the IDE.

Types

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:

• Message:

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]