From 2ae93408c159effc326447c67ef7b27b2d91cbf5 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 original commit: b25aae230be253861800c483aa0b7f2ffbb1315c --- 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 ffe0e069..daeb942d 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 . -> .