~ chicken-r7rs (master) 9c0bc387b157db2feea6bb558ad55eff64ef629c

commit 9c0bc387b157db2feea6bb558ad55eff64ef629c
Author:     Peter Bex <peter@more-magic.net>
AuthorDate: Sat Jul 6 19:03:27 2013 +0000
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Sat Jul 6 19:03:27 2013 +0000

    Tweak type definitions for predicates and eof-object constructor to be pure

diff --git a/scheme.base.scm b/scheme.base.scm
index f8adb07..3b6ad1d 100644
--- a/scheme.base.scm
+++ b/scheme.base.scm
@@ -171,7 +171,7 @@
         (lambda ()
           ((cadr exception-handlers) obj)))))))
 
-(: error-object? (* -> boolean : (struct condition)))
+(: error-object? (* --> boolean : (struct condition)))
 (: error-object-message ((struct condition) -> string))
 (: error-object-irritants ((struct condition) -> list))
 
@@ -179,8 +179,8 @@
 (define error-object-message (condition-property-accessor 'exn 'message))
 (define error-object-irritants (condition-property-accessor 'exn 'arguments))
 
-(: read-error? (* -> boolean))
-(: file-error? (* -> boolean))
+(: read-error? (* --> boolean))
+(: file-error? (* --> boolean))
 
 (define-values (read-error? file-error?)
   (let ((exn?    (condition-predicate 'exn))
@@ -207,7 +207,7 @@
 (: close-port (port -> void))
 (: output-port-open? (output-port -> boolean))
 (: input-port-open? (input-port -> boolean))
-(: eof-object (-> eof))
+(: eof-object (--> eof))
 
 (define (call-with-port port proc)
   (receive ret