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 10.1.2 Documentation Generated: April 1, 2016 at 10:17:48 am
If you have any comments about this section of the documentation, please use this form..