[no subject]

[JONL at MIT-MC (Jon L White)]

CC: NIL at MIT-MC, (BUG LISPM) at MIT-MC

    GSB and I propose a new fsubr,  TYPED-IDENTITY, in order to locally
certify and inform the compiler about the type of random quantity.
(TYPED-IDENTITY FIXNUM x) requires that x evaluate to something of type 
FIXNUM;  (TYPED-IDENTITY FLONUM x) similarly requires FLONUM.  In both
cases, the argument "x" is returned, and the interpreter would signal an
error if the type constraint is not met.    This format follows the same 
syntactic pattern as ARRAYCALL, SUBRCALL etc.  [no, it isn't the same as 
LOCAL-DECLARE].   I've tested this out in an experimental complr and there 
seems to be no problems - any comments?