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.
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). cond
can be omitted and defaults to true.
Return a value representing no messages.
Shared definitions for all messaging.