[Sbcl-commits] CVS: sbcl version.lisp-expr,1.2572,1.2572.2.1

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1489

Modified Files:
      Tag: clos-typechecking2-branch
	version.lisp-expr 
Log Message:
0.9.6.56.clos-typechecking2.1:
	Forward-port clos-typechecking-branch to HEAD.
	... no new fixes, but I think I have some ideas for how to move 
		forward:
	* the optimized slot setters, and probably also the 
	  non-optimized path through (setf slot-value-using-class), 
	  should cache the type checking predicate, rather than calling
	  TYPEP or %%TYPEP every time
	* (SAFETY 3) should probably be replaced with (SB-C::TYPE-CHECKS 
	  3) or whatever it's called
	* FUNCTION types...
	* need tests of redefinition & 
	  UPDATE-INSTANCE-FOR-REDEFINED-CLASS; subclasses with 
	  intersection types.
	* it might be possible to perform some limited inference in
	  method functions.


Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.2572
retrieving revision 1.2572.2.1
diff -u -d -r1.2572 -r1.2572.2.1
--- version.lisp-expr	24 Nov 2005 11:59:44 -0000	1.2572
+++ version.lisp-expr	24 Nov 2005 14:30:31 -0000	1.2572.2.1
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.9.6.56"
+"0.9.6.56.clos-typechecking2.1"