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.0 Documentation Generated: March 19, 2013 at 2:13:08 pm
If you have any comments about this section of the documentation, please use this form..