The type of a sequence of messages.
If f
is defined at t
apply it and return the resulting sequence
of messages.
If f
is defined at t
apply it and return the resulting sequence
of messages. Otherwise, return an empty sequence.
Check that the entity e
is used legally and return appropriate
messages if not.
Check that the entity e
is used legally and return appropriate
messages if not. If the entity is an error entity (unknown or multiply
defined, keep silent on the grounds that the error has already been
reported elsewhere (e.g., at the declaration site of the entity).
Otherwise, if f
is defined at e
return the messages that f (e)
evaluates to. If f
is not defined at e
, keep silent.
Recursively collect all messages in the given tree using the partial
function messages
at all nodes where it is defined.
As for message
but forces an error severity.
As for message
but forces a hint severity.
As for message
but forces an information severity.
If cond
is true make a singleton message list that associates the
label with the start position recorded for value
(if any).
If cond
is true make a singleton message list that associates the
label with the start position recorded for value
(if any). If cond
is false make an empty message list. cond
can be omitted and defaults
to true.
Return a value representing no messages.
As for message
but forces a warning severity.
Shared definitions for all messaging.