The atomic type specifier signed-byte denotes the same type as is denoted by the type specifier integer; however, the list forms of these two type specifiers have different semantics.
Abbreviating.
This denotes the set of integers that can be represented in two's-complement form in a byte of s bits. This is equivalent to (integer lower upper)
, where lower and upper, respectively, are -2s - 1
and 2s - 1 - 1
. The type signed-byte or the type (signed-byte *)
is the same as the type integer.
\issue{REAL-NUMBER-TYPE:X3J13-MAR-89}