~ chicken-core (chicken-5) a8ddc165c58a0a3966cb21436855396b8c338d42

commit a8ddc165c58a0a3966cb21436855396b8c338d42
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sun Mar 6 12:59:35 2011 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sun Mar 6 12:59:35 2011 +0100

    types work

diff --git a/types.db b/types.db
index a622942b..3c5dbef3 100644
--- a/types.db
+++ b/types.db
@@ -25,7 +25,9 @@
 
 
 ;; scheme
- 
+
+;;XXX (fp... - rewrites should directly expand into unsafe ##core#inline[_allocate] uses
+
 (not (procedure not (*) boolean)
      (((not boolean)) (let ((#:tmp #(1))) '#t)))
 
@@ -394,13 +396,15 @@
 
 ;; chicken
 
-;;XXX...
-
 (abort (procedure abort (*) noreturn))
-(add1 (procedure add1 (number) number))
+(add1 (procedure add1 (number) number)
+      ((flonum) (fp+ #(1) 1.0)))
 (argc+argv (procedure argc+argv () fixnum list))
 (argv (procedure argv () list))
 (arithmetic-shift (procedure arithmetic-shift (number number) number))
+
+;;XXX...
+
 (bit-set? (procedure bit-set? (number fixnum) boolean))
 (bitwise-and (procedure bitwise-and (#!rest number) number)
 	     ((fixnum fixnum) (fxand #(1) #(2))))