[Sbcl-commits] CVS: sbcl/src/compiler aliencomp.lisp,1.14,1.15 parse-lambda-list.lisp,1.9,1.10 typetran.lisp,1.35,1.36

[Alexey D. <ade...@us...>]

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory sc8-pr-cvs1:/tmp/cvs-serv7648/src/compiler

Modified Files:
	aliencomp.lisp parse-lambda-list.lisp typetran.lisp 
Log Message:
0.8.0.6:
        * Walker knows about NAMED-LAMBDA;
        * implemented short form of VALUES type specifier.


Index: aliencomp.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/aliencomp.lisp,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -d -r1.14 -r1.15
--- aliencomp.lisp	26 May 2003 04:25:54 -0000	1.14
+++ aliencomp.lisp	27 May 2003 08:35:53 -0000	1.15
@@ -639,7 +639,7 @@
   (let ((type (continuation-value type)))
     (unless (alien-fun-type-p type)
       (error "Something is broken."))
-    (specifier-type
+    (values-specifier-type
      (compute-alien-rep-type
       (alien-fun-type-result-type type)))))
 

Index: parse-lambda-list.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/parse-lambda-list.lisp,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- parse-lambda-list.lisp	3 Sep 2002 02:29:44 -0000	1.9
+++ parse-lambda-list.lisp	27 May 2003 08:35:53 -0000	1.10
@@ -26,16 +26,21 @@
 ;;;  9. a list of the &AUX specifiers;
 ;;; 10. true if a &MORE arg was specified;
 ;;; 11. the &MORE context var;
-;;; 12. the &MORE count var.
+;;; 12. the &MORE count var;
+;;; 13. true if any lambda list keyword is present (only for
+;;;     PARSE-LAMBDA-LIST-LIKE-THING).
 ;;;
 ;;; The top level lambda list syntax is checked for validity, but the
 ;;; arg specifiers are just passed through untouched. If something is
 ;;; wrong, we use COMPILER-ERROR, aborting compilation to the last
 ;;; recovery point.
-(declaim (ftype (function (list)
-			  (values list list boolean t boolean list boolean
-				  boolean list boolean t t))
-		parse-lambda-list-like-thing
+(declaim (ftype (sfunction (list)
+                           (values list list boolean t boolean list boolean
+                                   boolean list boolean t t boolean))
+		parse-lambda-list-like-thing))
+(declaim (ftype (sfunction (list)
+                           (values list list boolean t boolean list boolean
+                                   boolean list boolean t t))
 		parse-lambda-list))
 (defun parse-lambda-list-like-thing (list)
   (collect ((required)
@@ -122,9 +127,10 @@
                                arg)))))
       (when (eq state :rest)
         (compiler-error "&REST without rest variable"))
-      
+
       (values (required) (optional) restp rest keyp (keys) allowp auxp (aux)
-              morep more-context more-count))))
+              morep more-context more-count
+              (neq state :required)))))
 
 ;;; like PARSE-LAMBDA-LIST-LIKE-THING, except our LAMBDA-LIST argument
 ;;; really *is* a lambda list, not just a "lambda-list-like thing", so

Index: typetran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/typetran.lisp,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -d -r1.35 -r1.36
--- typetran.lisp	26 May 2003 04:25:56 -0000	1.35
+++ typetran.lisp	27 May 2003 08:35:53 -0000	1.36
@@ -272,10 +272,8 @@
 (defun source-transform-cons-typep (object type)
   (let* ((car-type (cons-type-car-type type))
 	 (cdr-type (cons-type-cdr-type type)))
-    (let ((car-test-p (not (or (type= car-type *wild-type*)
-			       (type= car-type (specifier-type t)))))
-	  (cdr-test-p (not (or (type= cdr-type *wild-type*)
-			       (type= cdr-type (specifier-type t))))))
+    (let ((car-test-p (not (type= car-type *universal-type*)))
+	  (cdr-test-p (not (type= cdr-type *universal-type*))))
       (if (and (not car-test-p) (not cdr-test-p))
 	  `(consp ,object)
 	  (once-only ((n-obj object))