1.0.5.17: Top-level DECLARE signals an error
authorChristophe Rhodes <csr21@cantab.net>
Wed, 2 May 2007 10:02:08 +0000 (10:02 +0000)
committerChristophe Rhodes <csr21@cantab.net>
Wed, 2 May 2007 10:02:08 +0000 (10:02 +0000)
commit0371580437ef7f3e39f0bfbb9e45264986408b19
treed5d9e53924f74e06747af1a6a87d97f7703cf55c
parent4c011cd8892fea4fcdf335531fb24473089fe41d
1.0.5.17: Top-level DECLARE signals an error
... probably the user meant a top-level DECLAIM, but in the
absence of proof an error is a decent choice for undefined
behaviour.
NEWS
src/code/eval.lisp
tests/eval.impure.lisp
version.lisp-expr