[movitz-cvs] CVS update: movitz/special-operators.lisp

[Frode Vatvedt Fjeld]

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 at 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)