suzanne.soy/typed-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 
original commit: 8c840a22825bd6f2723e02a8ff56d76ffaa66367
This commit is contained in:
Vincent St-Amour 2010-07-15 16:32:41 -04:00
parent 33f4ea048d
commit 4d23f3416c
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)]
[string-append (->* null -String -String)]
[open-input-string (-> -String -Input-Port)]
[open-input-bytes (-> -Bytes -Input-Port)]
[open-output-file
(->key -Pathlike
#:mode (one-of/c 'binary 'text) #f
@ -610,6 +611,7 @@
[byte-ready? (->opt [-Input-Port] B)]
[open-output-string (-> -Output-Port)]
[open-output-bytes (-> -Output-Port)]
;; FIXME - this is too general
[get-output-string (-> -Output-Port -String)]