Hi, Does read-line ever return any object that is not eof or strings?
If it doesn't, the attached patch specifies the possible return types for read-line as eof and string. Best wishes. Mario -- http://parenteses.org/mario
>From 0d1a85c979d0d25a33012e778b01139f45c31cf7 Mon Sep 17 00:00:00 2001 From: Mario Domenech Goulart <[email protected]> Date: Mon, 8 Oct 2012 11:11:35 -0300 Subject: [PATCH] types.db: stricter return types for read-line --- types.db | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/types.db b/types.db index 2e37ea8..20fc763 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)) -- 1.7.2.5
_______________________________________________ Chicken-hackers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-hackers
