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

TR: Changed type of port->list

Browse Source 
original commit: c7f9a80de88d8ce0a2743ac5baa9f4b8c30fc29b
This commit is contained in:
Eric Dobson 2011-06-10 15:19:18 -04:00 committed by Vincent St-Amour
parent 2b2d52e646
commit 95a11759c1
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
[port->lines (cl->* ([-Input-Port] . ->opt . (-lst -String)))]
[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->string (->opt [-Input-Port] -String)]
[with-output-to-string