[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: (BUG LISP) at MIT-MC
- From: JONL at MIT-MC (Jon L White)
- Date: Tue ,7 Aug 79 03:47:00 EDT
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?