From b25aae230be253861800c483aa0b7f2ffbb1315c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 15 Aug 2011 12:27:03 -0400 Subject: [PATCH] re-enable type for port->bytes-lines --- collects/typed-scheme/base-env/base-special-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/base-env/base-special-env.rkt b/collects/typed-scheme/base-env/base-special-env.rkt index ffe0e06958..daeb942db5 100644 --- a/collects/typed-scheme/base-env/base-special-env.rkt +++ b/collects/typed-scheme/base-env/base-special-env.rkt @@ -475,7 +475,7 @@ (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)))] -#; [((kw-expander-impl (syntax-local-value #'port->bytes-lines))) + [((kw-expander-impl (syntax-local-value #'port->bytes-lines))) ((-opt (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one)) -Boolean (-opt -Input-Port) -Boolean . -> .