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

fix port-> functions to match new kw args in impl (#514)

Browse Source
This commit is contained in:
Andrew Kent 2017-03-17 13:25:32 -04:00 committed by GitHub
parent a103ec257b
commit c174ba655c
1 changed files with 10 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -1938,24 +1938,10 @@
(-poly (a) (cl->*
(-> (-lst Univ))
(->opt (-> -Input-Port a) [-Input-Port] (-lst a))))]
[port->string (->opt [-Input-Port] -String)]
[port->bytes (->opt [-Input-Port] -Bytes)]
#|
[port->lines
(cl->*
(->key #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f (-lst -String))
(->key -Input-Port #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f (-lst -String)))]
[port->bytes-lines
(cl->*
(->key #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f (-lst -Bytes))
(->key -Input-Port #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f (-lst -Bytes)))]
[port->string (->optkey [-Input-Port] #:close? Univ #f -String)]
[port->bytes (->optkey [-Input-Port] #:close? Univ #f -Bytes)]
[display-lines (cl->*
((-lst Univ) #:separator Univ #f . ->key . -Void)
((-lst Univ) -Output-Port #:separator Univ #f . ->key . -Void))]
|#
[call-with-output-string (-> (-> -Output-Port ManyUniv) -String)]
[call-with-output-bytes (-> (-> -Output-Port ManyUniv) -Bytes)]
@ -3359,9 +3345,15 @@
#f
a)))
(port->lines
(->optkey [-Input-Port] #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f (-lst -String)))
(->optkey [-Input-Port]
#:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f
#:close? Univ #f
(-lst -String)))
(port->bytes-lines
(->optkey [-Input-Port] #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f (-lst -Bytes)))
(->optkey [-Input-Port]
#:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f
#:close? Univ #f
(-lst -Bytes)))
(display-lines
(->optkey (-lst Univ) [-Output-Port] #:separator Univ #f -Void))
(find-relative-path (->key -SomeSystemPathlike -SomeSystemPathlike #:more-than-root? Univ #f -SomeSystemPath))