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

Add types for `check-in-{port,bytes,bytes-lines}'.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-07-07 12:36:23 -04:00
parent e972c0c392
commit 49444460d5
1 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -137,7 +137,33 @@
[(i-n _ ...) [(i-n _ ...)
#'i-n]) #'i-n])
(->opt [-Input-Port -Symbol] (-seq -Bytes))] (->opt [-Input-Port -Symbol] (-seq -Bytes))]
;; check-in-bytes-lines
[(syntax-parse (local-expand #'(for ([i (in-bytes-lines 0)]) i)
'expression #f)
#:literals (let-values let)
[(let-values ((_ (let _ (c . _) . _))
. _)
. _)
#'c])
(-> Univ Univ Univ)]
;; check-in-lines
[(syntax-parse (local-expand #'(for ([i (in-lines 0)]) i)
'expression #f)
#:literals (let-values #%app let)
[(let-values ((_ (let _ (c . _) . _))
. _)
. _)
#'c])
(-> Univ Univ Univ)]
;; check-in-port
[(syntax-parse (local-expand #'(for ([i (in-port 0)]) i)
'expression #f)
#:literals (let-values #%app let)
[(let-values ((_ (let _ (c . _) . _))
. _)
. _)
#'c])
(-> Univ Univ Univ)]
;; from the expansion of `with-syntax' ;; from the expansion of `with-syntax'
[(syntax-parse (local-expand #'(with-syntax ([x 1]) #'(x)) 'expression null) [(syntax-parse (local-expand #'(with-syntax ([x 1]) #'(x)) 'expression null)
#:literals (let-values #%plain-app #%plain-lambda if letrec-syntaxes+values) #:literals (let-values #%plain-app #%plain-lambda if letrec-syntaxes+values)