Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv31617
Modified Files: special-operators.lisp Log Message: These changes adds type-inference for incf-like operations. Many dynamic type-checks for integer type are removed from code, in dotimes loops etc.
Date: Thu Feb 12 16:57:20 2004 Author: ffjeld
Index: movitz/special-operators.lisp diff -u movitz/special-operators.lisp:1.9 movitz/special-operators.lisp:1.10 --- movitz/special-operators.lisp:1.9 Thu Feb 12 12:54:37 2004 +++ movitz/special-operators.lisp Thu Feb 12 16:57:19 2004 @@ -8,7 +8,7 @@ ;;;; Author: Frode Vatvedt Fjeld frodef@acm.org ;;;; Created at: Fri Nov 24 16:22:59 2000 ;;;; -;;;; $Id: special-operators.lisp,v 1.9 2004/02/12 17:54:37 ffjeld Exp $ +;;;; $Id: special-operators.lisp,v 1.10 2004/02/12 21:57:19 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------
@@ -979,12 +979,10 @@ ;;; (warn "t2-type: ~S, t2-ret: ~S, rm: ~S" ;;; term2-type term2-returns result-mode) (cond - #+ignore ((and (eq 'binding-type (operator term2-type)) (eq (second term2-type) result-mode)) (let ((binding result-mode)) (check-type binding lexical-binding) - (warn "yes, for ~S" binding) (compiler-values () :returns binding :type (binding-type-specifier binding)