~ chicken-core (chicken-5) 3e6e91e63d294df598d7e251738f9262c9ed9e01

commit 3e6e91e63d294df598d7e251738f9262c9ed9e01
Author:     Mario Domenech Goulart <mario.goulart@gmail.com>
AuthorDate: Mon Oct 8 11:11:35 2012 -0300
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Mon Oct 8 20:10:21 2012 +0200

    types.db: stricter return types for read-line
    
    Signed-off-by: felix <felix@call-with-current-continuation.org>

diff --git a/types.db b/types.db
index 2e37ea83..20fc7636 100644
--- a/types.db
+++ b/types.db
@@ -1276,7 +1276,7 @@
 (read-buffered (#(procedure #:enforce) read-buffered (#!optional input-port) string))
 (read-byte (#(procedure #:enforce) read-byte (#!optional input-port) *))
 (read-file (#(procedure #:enforce) read-file (#!optional (or input-port string) (procedure (input-port) *) fixnum) list))
-(read-line (#(procedure #:enforce) read-line (#!optional input-port (or boolean fixnum)) *))
+(read-line (#(procedure #:enforce) read-line (#!optional input-port (or boolean fixnum)) (or eof string)))
 (read-lines (#(procedure #:enforce) read-lines (#!optional (or input-port string) fixnum) (list-of string)))
 (read-string (#(procedure #:enforce) read-string (#!optional * input-port) string))
 (read-string! (#(procedure #:enforce) read-string! (fixnum string #!optional input-port fixnum) fixnum))