Fix type of file->bytes-lines

This commit is contained in:
Sam Tobin-Hochstadt 2011-08-15 17:56:12 -04:00
parent b25aae230b
commit 13ef3849fc

View File

@ -216,7 +216,7 @@
(->key -Pathlike (->key -Pathlike
#:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f #:line-mode (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one) #f
#:mode (one-of/c 'binary 'text) #f #:mode (one-of/c 'binary 'text) #f
(-lst -String))] (-lst -Bytes))]
[((kw-expander-impl (syntax-local-value #'file->bytes-lines))) [((kw-expander-impl (syntax-local-value #'file->bytes-lines)))
(-> (Un (-val #f) (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one)) -Boolean (-> (Un (-val #f) (one-of/c 'linefeed 'return 'return-linefeed 'any 'any-one)) -Boolean
(Un (-val #f) (one-of/c 'binary 'text)) -Boolean (Un (-val #f) (one-of/c 'binary 'text)) -Boolean