0.7.8.3:

        Disabled flushing of simple type checks in arguments of full
        calls.

diff --git a/src/compiler/ltn.lisp b/src/compiler/ltn.lisp
index cf5662b..d365a4f 100644 (file)
--- a/src/compiler/ltn.lisp
+++ b/src/compiler/ltn.lisp
@@ -184,9 +184,8 @@
 ;;; deliver values normally. We still annotate the function continuation,
 ;;; since IR2tran might decide to call after all.
 ;;;
-;;; If not funny, we always flush arg type checks, but do it after
-;;; annotation when the LTN-POLICY is safe, since we don't want to
-;;; choose the TNs according to a type assertions that may not hold.
+;;; If not funny, we flush arg type checks, when LTN-POLICY is not
+;;; safe.
 ;;;
 ;;; Note that args may already be annotated because template selection can
 ;;; bail out to here.
@@ -216,8 +215,7 @@
                  (make-ir2-continuation
                   (primitive-type
                    (continuation-type arg)))))
-         (annotate-1-value-continuation arg)
-         (when safe-p (flush-type-check arg))))
+         (annotate-1-value-continuation arg)))
       (when (eq kind :error)
        (setf (basic-combination-kind call) :full))
       (setf (basic-combination-info call) :full)

diff --git a/tests/compiler.impure.lisp b/tests/compiler.impure.lisp
index afabf2b..0bbcdf9 100644 (file)
--- a/tests/compiler.impure.lisp
+++ b/tests/compiler.impure.lisp
@@ -372,7 +372,6 @@ BUG 48c, not yet fixed:
     (ignore-errors (the-in-arguments-1 1))
   (assert (null result))
   (assert (typep condition 'type-error)))
-#+nil
 (multiple-value-bind (result condition)
     (ignore-errors (the-in-arguments-2 1))
   (assert (null result))

diff --git a/version.lisp-expr b/version.lisp-expr
index b7b97de..5a2e3aa 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; internal versions off the main CVS branch, it gets hairier, e.g.
 ;;; "0.pre7.14.flaky4.13".)
 
-"0.7.8.2"
+"0.7.8.3"