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

TR: Changed type of port->list

Browse Source
This commit is contained in:
Eric Dobson 2011-06-10 15:19:18 -04:00 committed by Vincent St-Amour
parent 5bf4b1c930
commit c7f9a80de8
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/fail/port-to-list.rkt Normal file
View File

@ -0,0 +1,5 @@
#lang typed/racket
(car (car
(parameterize ((current-input-port (open-input-string "2")))
((inst port->list (List Number))))))

5
collects/typed-scheme/base-env/base-env.rkt
View File

@ -902,7 +902,10 @@
;; scheme/port ;; scheme/port
[port->lines (cl->* ([-Input-Port] . ->opt . (-lst -String)))] [port->lines (cl->* ([-Input-Port] . ->opt . (-lst -String)))]
[port->bytes-lines (cl->* ([-Input-Port] . ->opt . (-lst -Bytes)))] [port->bytes-lines (cl->* ([-Input-Port] . ->opt . (-lst -Bytes)))]
[port->list (-poly (a) (->opt [(-> -Input-Port a) -Input-Port] (-lst a)))] [port->list
(-poly (a) (cl->*
(-> (-lst Univ))
(->opt (-> -Input-Port a) [-Input-Port] (-lst a))))]
[port->bytes (->opt [-Input-Port] -Bytes)] [port->bytes (->opt [-Input-Port] -Bytes)]
[port->string (->opt [-Input-Port] -String)] [port->string (->opt [-Input-Port] -String)]
[with-output-to-string [with-output-to-string