[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
assert
- To: common-lisp at SU-AI
- Subject: assert
- From: Earl A. Killian <EAK at MIT-MC>
- Date: Wed, 25 Aug 1982 00:53:00 -0000
How about defining
(ASSERT test)
to be a form that asserts that test is true. The compiler can
1) compile code to check this
2) depend on it
3) ignore it
4) verify it at compile time (ha ha)