The result of the 'HAS KEY' shelf query on the VALUE argument 'X' is invariant; consider removing
it.
or
The result of the 'IS KEYED' shelf query on the VALUE argument 'X' is invariant; consider removing
it.
or
The result of the 'NUMBER OF' shelf query on a shelf literal is invariant; consider removing
it.
or
The result of the 'NUMBER OF' shelf query on the fixed-size shelf 'Y' is invariant; consider removing
it.
or
The result of the 'HAS KEY' shelf query on the keyless shelf 'Y' is invariant; consider removing
it.
or
The result of the 'IS KEYED' shelf query on the keyless shelf 'Y' is invariant; consider removing
it.
or
The result of the KEY OF' shelf query on the shelf 'I' indexed by key is invariant; consider removing
it.
or
The result of the 'ITEM OF' shelf query on the shelf 'I' indexed by item is invariant; consider removing
it.
Compilation continues normally.
The result of a shelf query is known at compile time.
OmniMark 12.0 Documentation Generated: January 31, 2023 at 8:23:12 pm
If you have any comments about this section of the documentation, please use this form.