Skip to content

Commit 374efcc

Browse files
authored
fix inconsistency between the types and docs for read-bytes.* (#1046)
closes #1045
1 parent 7ed3345 commit 374efcc

File tree

2 files changed

+9
-3
lines changed

2 files changed

+9
-3
lines changed

typed-racket-lib/typed-racket/base-env/base-env.rkt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2165,10 +2165,10 @@
21652165
;read-bytes (in index)
21662166

21672167
;read-string! (in index)
2168-
[read-bytes! (->opt -Bytes [-Input-Port -Nat -Nat] (Un -PosInt (-val eof)))]
2169-
[read-bytes-avail! (->opt -Bytes [-Input-Port -Nat -Nat] (Un -PosInt (-val eof) (-> (-opt -PosInt) (-opt -Nat) (-opt -PosInt) (-opt -Nat) Univ)))]
2168+
[read-bytes! (->opt -Bytes [-Input-Port -Nat -Nat] (Un -Nat (-val eof)))]
2169+
[read-bytes-avail! (->opt -Bytes [-Input-Port -Nat -Nat] (Un -Nat (-val eof) (-> (-opt -PosInt) (-opt -Nat) (-opt -PosInt) (-opt -Nat) Univ)))]
21702170
[read-bytes-avail!* (->opt -Bytes [-Input-Port -Nat -Nat] (Un -Nat (-val eof) (-> (-opt -PosInt) (-opt -Nat) (-opt -PosInt) (-opt -Nat) Univ)))]
2171-
[read-bytes-avail!/enable-break (->opt -Bytes [-Input-Port -Nat -Nat] (Un -PosInt (-val eof) (-> (-opt -PosInt) (-opt -Nat) (-opt -PosInt) (-opt -Nat) Univ)))]
2171+
[read-bytes-avail!/enable-break (->opt -Bytes [-Input-Port -Nat -Nat] (Un -Nat (-val eof) (-> (-opt -PosInt) (-opt -Nat) (-opt -PosInt) (-opt -Nat) Univ)))]
21722172

21732173
[peek-string (->opt -Nat -Nat [-Input-Port] (Un -String (-val eof)))]
21742174
[peek-bytes (->opt -Nat -Nat [-Input-Port] (Un -Bytes (-val eof)))]
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#lang typed/racket
2+
(define buffer (make-bytes 0))
3+
(define ret-val (read-bytes-avail! buffer))
4+
(cond [(eof-object? ret-val) 0]
5+
[(exact-positive-integer? ret-val) 0]
6+
[(procedure? ret-val) (ret-val 1 1 2 3)])

0 commit comments

Comments
 (0)