~ chicken-core (chicken-5) a8fa3fdbc96a949b0fa158b9807ad365922728c1

commit a8fa3fdbc96a949b0fa158b9807ad365922728c1
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Jan 8 12:26:05 2011 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sat Jan 8 12:26:05 2011 +0100

    fix in types.db and type-specifier syntax in manual by Kon Lovett

diff --git a/manual/Declarations b/manual/Declarations
index 99a1e225..ee7e350a 100644
--- a/manual/Declarations
+++ b/manual/Declarations
@@ -284,13 +284,13 @@ a toplevel variable and {{TYPESPEC}} should be a type specification, following t
 given here:
 
   TYPESPEC --> *
-            |  ( VAL1 ... )
+            |  deprecated
+            |  VAL
   
   VAL --> (or VAL1 ...)
        |  (struct NAME)
        |  (procedure [NAME] (VAL1 ... [#!optional VALOPT1 ...] [#!rest [VAL]]) . RESULTS)
        |  BASIC
-       |  deprecated
   
   BASIC --> * 
          |  string 
@@ -310,12 +310,14 @@ given here:
          |  locative
          |  fixnum
          |  float
+         |  pointer-vector
   
   RESULTS --> * 
            |  (RVAL1 ...)
   
   RVAL --> undefined
         |  noreturn
+        |  VAL
 
 A type-declaration overrides any previous declaration for the same identifier.
 
diff --git a/types.db b/types.db
index bdd834c3..ce943c6a 100644
--- a/types.db
+++ b/types.db
@@ -790,7 +790,7 @@
 (file-read (procedure file-read (fixnum fixnum #!optional *) list))
 (file-read-access? (procedure file-read-access? (string) boolean))
 (file-select (procedure file-select (list list #!optional fixnum) list list))
-(file-size (procedure file-size ((or string fixnum)) fixnum))
+(file-size (procedure file-size ((or string fixnum)) number))
 (file-stat (procedure file-stat ((or string fixnum) #!optional *) vector))
 (file-test-lock (procedure file-test-lock (port #!optional fixnum *) boolean))
 (file-truncate (procedure file-truncate ((or string fixnum) fixnum) undefined))