~ chicken-core (chicken-5) 08d60b5201d92a40aa68940ae8e5818b5fa55667

commit 08d60b5201d92a40aa68940ae8e5818b5fa55667
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Tue Aug 23 11:13:16 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Tue Aug 23 11:13:16 2011 +0200

    some small types.db tweaks

diff --git a/types.db b/types.db
index db17f7f6..b63ee14f 100644
--- a/types.db
+++ b/types.db
@@ -56,8 +56,8 @@
       ((* (not float)) (eq? #(1) #(2))))
 
 (equal? (procedure equal? (* *) boolean)
-	(((or fixnum symbol char eof null undefined) *) (eq? #(1) #(2)))
-	((* (or fixnum symbol char eof null undefined)) (eq? #(1) #(2))))
+	(((or fixnum symbol char eof null) *) (eq? #(1) #(2)))
+	((* (or fixnum symbol char eof null)) (eq? #(1) #(2))))
 
 (pair? (procedure? pair pair? (*) boolean))
 
@@ -145,10 +145,20 @@
 (null? (procedure? null null? (*) boolean))
 (list? (procedure? list list? (*) boolean))
 
-(list (procedure list (#!rest) list))
-(##sys#list (procedure ##sys#list (#!rest) list))
-(length (procedure! length (list) fixnum) ((list) (##core#inline "C_u_i_length" #(1))))
-(##sys#length (procedure! ##sys#length (list) fixnum) ((list) (##core#inline "C_u_i_length" #(1))))
+(list (procedure list (#!rest) list)
+      (() (null) '()))
+
+(##sys#list (procedure ##sys#list (#!rest) list)
+	    (() (null) '()))
+
+(length (procedure! length (list) fixnum)
+	((null) '0)
+	((list) (##core#inline "C_u_i_length" #(1))))
+
+(##sys#length (procedure! ##sys#length (list) fixnum)
+	      ((null) '0)
+	      ((list) (##core#inline "C_u_i_length" #(1))))
+
 (list-tail (forall (a) (procedure! list-tail ((list a) fixnum) (list a))))
 (list-ref (forall (a) (procedure! list-ref ((list a) fixnum) a)))
 (append (procedure append (list #!rest) *))