suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added types for byte-string I/O functions.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-15 16:32:41 -04:00
parent 3dbbd6d3fc
commit 8c840a2282
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env.rkt
View File

@ -182,6 +182,7 @@
[gensym (->opt [Sym] Sym)] [gensym (->opt [Sym] Sym)]
[string-append (->* null -String -String)] [string-append (->* null -String -String)]
[open-input-string (-> -String -Input-Port)] [open-input-string (-> -String -Input-Port)]
[open-input-bytes (-> -Bytes -Input-Port)]
[open-output-file [open-output-file
(->key -Pathlike (->key -Pathlike
#:mode (one-of/c 'binary 'text) #f #:mode (one-of/c 'binary 'text) #f
@ -610,6 +611,7 @@
[byte-ready? (->opt [-Input-Port] B)] [byte-ready? (->opt [-Input-Port] B)]
[open-output-string (-> -Output-Port)] [open-output-string (-> -Output-Port)]
[open-output-bytes (-> -Output-Port)]
;; FIXME - this is too general ;; FIXME - this is too general
[get-output-string (-> -Output-Port -String)] [get-output-string (-> -Output-Port -String)]