~ chicken-core (master) 61cf5e28e71567956b9285a1b005b1fd3530d4a4

commit 61cf5e28e71567956b9285a1b005b1fd3530d4a4
Author:     Mario Domenech Goulart <mario@parenteses.org>
AuthorDate: Sun Nov 16 18:47:51 2025 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Mon Nov 17 10:11:59 2025 +0100

    types.db: read-bytevector can also return eof
    
    Signed-off-by: felix <felix@call-with-current-continuation.org>

diff --git a/types.db b/types.db
index 51fb5fd1..4ebc0b16 100644
--- a/types.db
+++ b/types.db
@@ -1641,7 +1641,7 @@
 (chicken.io#write-byte (#(procedure #:enforce) chicken.io#write-byte (fixnum #!optional output-port) undefined))
 (chicken.io#write-line (#(procedure #:enforce) chicken.io#write-line (string #!optional output-port) undefined))
 (chicken.io#write-bytevector (#(procedure #:enforce) chicken.io#write-bytevector (bytevector #!optional output-port fixnum fixnum) undefined))
-(chicken.io#read-bytevector (#(procedure #:enforce) chicken.io#read-bytevector (#!optional * input-port) bytevector))
+(chicken.io#read-bytevector (#(procedure #:enforce) chicken.io#read-bytevector (#!optional * input-port) (or eof bytevector)))
 (chicken.io#read-bytevector! (#(procedure #:enforce) chicken.io#read-bytevector! (bytevector #!optional input-port fixnum fixnum) fixnum))
 
 ;; pretty-print