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

Make tc-toplevel always return a list.

Browse Source 
original commit: 90cebbe45499c8d6826a7896e7b27965bf937b14
This commit is contained in:
Eric Dobson 2013-05-26 19:59:22 -07:00
parent be464d2383
commit 83e278386c
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-racket/typecheck/tc-toplevel.rkt
View File

@ -86,7 +86,7 @@
;; syntax? -> (listof def-binding?)
(define (tc-toplevel/pass1 form)
(parameterize ([current-orig-stx form])
(syntax-parse form
@ -146,12 +146,14 @@
;; predicate assertion - needed for define-type b/c or doesn't work
[(define-values () (begin (quote-syntax (assert-predicate-internal ty pred)) (#%plain-app values)))
(register-type #'pred (make-pred-ty (parse-type #'ty)))]
(register-type #'pred (make-pred-ty (parse-type #'ty)))
(list)]
;; top-level type annotation
[(define-values () (begin (quote-syntax (:-internal id:identifier ty)) (#%plain-app values)))
(register-type/undefined #'id (parse-type #'ty))
(register-scoped-tvars #'id (parse-literal-alls #'ty))]
(register-scoped-tvars #'id (parse-literal-alls #'ty))
(list)]
;; values definitions
@ -178,7 +180,7 @@
;; to handle the top-level, we have to recur into begins
[(begin . rest)
(apply append (filter list? (stx-map tc-toplevel/pass1 #'rest)))]
(apply append (stx-map tc-toplevel/pass1 #'rest))]
;; define-syntaxes just get noted
[(define-syntaxes (var:id ...) . rest)
@ -322,7 +324,7 @@
(define defs (apply append
(append
struct-bindings
(filter list? (map tc-toplevel/pass1 forms)))))
(map tc-toplevel/pass1 forms))))
;(displayln "Finished pass1")
;; separate the definitions into structures we'll handle for provides
(define def-tbl