~ chicken-core (chicken-5) 85e8ad0baba7210e2a7cf270232af0f5388e1ef5

commit 85e8ad0baba7210e2a7cf270232af0f5388e1ef5
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Aug 27 12:29:39 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sat Aug 27 12:29:39 2011 +0200

    documented immediate abbrev., enabled specialization again

diff --git a/defaults.make b/defaults.make
index 2650eda0..ed124439 100644
--- a/defaults.make
+++ b/defaults.make
@@ -277,7 +277,7 @@ else
 CHICKEN_OPTIONS += -no-warnings
 endif
 ifndef BUILDING_CHICKEN_BOOT
-#XXX CHICKEN_OPTIONS += -specialize -types $(SRCDIR)types.db 
+CHICKEN_OPTIONS += -specialize -types $(SRCDIR)types.db 
 endif
 CHICKEN_OPTIONS += $(EXTRA_CHICKEN_OPTIONS)
 CHICKEN_LIBRARY_OPTIONS = $(CHICKEN_OPTIONS) -explicit-use -no-trace
diff --git a/manual/Types b/manual/Types
index 9411837e..b040b773 100644
--- a/manual/Types
+++ b/manual/Types
@@ -122,6 +122,7 @@ or {{:}} should follow the syntax given below:
 <tr><td>{{fixnum}}</td><td>word-sized integer</td></tr>
 <tr><td>{{float}}</td><td>floating-point number</td></tr>
 <tr><td>{{number}}</td><td>fixnum or float</td></tr>
+<tr><td>{{immediate}}</td><td>abbreviation for {{(or eof null fixnum char boolean)}}</td></tr>
 </table>
 
 <table>
diff --git a/scrutinizer.scm b/scrutinizer.scm
index 9a79873f..e8502ce1 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -1550,7 +1550,6 @@
 		   (if (pair? new)
 		       (cond ((and (vector? (car new))
 				   (eq? 'procedure (vector-ref (car new) 0)))
-			      ;;XXX this format is not used yet:
 			      (let loop ((props (cdr (vector->list (car new)))))
 				(unless (null? props)
 				  (case (car props)
@@ -1571,7 +1570,7 @@
 				      "load-type-database: invalid procedure-type property"
 				      (car props) new)))))
 			      `(procedure ,@(cdr new)))
-			     (else 	;XXX DEPRECATED
+			     (else 	;DEPRECATED
 			      (case (car new)
 				((procedure!)
 				 (mark-variable name '##compiler#enforce #t)
@@ -1719,7 +1718,7 @@
 				continuation lock mmap condition hash-table
 				tcp-listener))
 	     `(struct ,t))
-	    ((eq? t 'immediate)		;XXX undocumented
+	    ((eq? t 'immediate)
 	     '(or eof null fixnum char boolean))
 	    ((not (pair? t)) 
 	     (cond ((memq t typevars)