|
|
|---|
|
|
|
|---|
Fixtype of screen messages.
This is a tagged union type, introduced by fty::deftagsum.
We introduce a notion of screen message as the thing printed by a single console print statement. This should be a sequence of characters, obtained by combining the format strings with the values obtained from the expressions (if any). However, for now we do not carry out this combination (but we plan to), and instad define a screen message as consisting of a format string (the characters from the format string in the console print statement) and a list of zero or more values (resulting from evaluating the expressions in the console print statement). We also label the message with an indication of the kind of print statement.