Print intermediate evaluation results for some ASSERTed expressions
authorPaul Khuong <pvk@pvk.ca>
Mon, 20 May 2013 04:40:33 +0000 (00:40 -0400)
committerPaul Khuong <pvk@pvk.ca>
Mon, 20 May 2013 05:06:00 +0000 (01:06 -0400)
commitf7808fb1c49b729d00580321b3f8457ce4b84cf4
treececd41db1451bcf957be94aad910cd69d5a61781
parent14dde89d91420d03a37e6b03f2e41e830218b736
Print intermediate evaluation results for some ASSERTed expressions

* The reports of errors signaled by ASSERT now print intermediate
  evaluation results under the following conditions:
   1. The ASSERTed expression is known to be a function call.
   2. Arguments in the call are not constants.

* Test the new feature in condition.impure.lisp.

* Original patch from Alexandra Barchunova; closes lp#789497.
NEWS
src/code/macros.lisp
src/code/target-error.lisp
tests/condition.impure.lisp