From c7f9a80de88d8ce0a2743ac5baa9f4b8c30fc29b Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Fri, 10 Jun 2011 15:19:18 -0400 Subject: [PATCH] TR: Changed type of port->list --- collects/tests/typed-scheme/fail/port-to-list.rkt | 5 +++++ collects/typed-scheme/base-env/base-env.rkt | 5 ++++- 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 collects/tests/typed-scheme/fail/port-to-list.rkt diff --git a/collects/tests/typed-scheme/fail/port-to-list.rkt b/collects/tests/typed-scheme/fail/port-to-list.rkt new file mode 100644 index 0000000000..11ea3942bb --- /dev/null +++ b/collects/tests/typed-scheme/fail/port-to-list.rkt @@ -0,0 +1,5 @@ +#lang typed/racket +(car (car + (parameterize ((current-input-port (open-input-string "2"))) + ((inst port->list (List Number)))))) + diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index 282071b4a5..038fbb6ba0 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -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