[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


If this FIXNUM-IDENTITY is supposed to be a declaration, then ASSUME-FIXNUM
is fine.  But if it is asserting a fact about an argument that you wish
MacLisp to verify, I think ASSERT-FIXNUM is more appropriate.  It coincides
with the notion of "assertions" in proving or testing programs.  Some
experimental languages allow you to make fairly complex assertions about
the state of the computation at various places, and the runtime system
then checks each assertion as it comes to it.  ASSERT-FIXNUM appears to
be a simple example of the above.