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

re-enable type for port->bytes-lines

Browse Source 
original commit: b25aae230be253861800c483aa0b7f2ffbb1315c
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-15 12:27:03 -04:00
parent 5e92d965a6
commit 2ae93408c1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/base-env/base-special-env.rkt
View File

@ -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
. -> .