suzanne.soy/typed-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 
original commit: 49444460d5f0280336e47d0cdd1abc1a5e81ff90
This commit is contained in:
Sam Tobin-Hochstadt 2011-07-07 12:36:23 -04:00
parent d24f4ca071
commit 27a2086b33
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])
(->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'
[(syntax-parse (local-expand #'(with-syntax ([x 1]) #'(x)) 'expression null)
#:literals (let-values #%plain-app #%plain-lambda if letrec-syntaxes+values)