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

Fix documented type, and remove unnecessary or.

Browse Source 
original commit: 7618cac88e098a364f1541ec559d3e797134112f
This commit is contained in:
Eric Dobson 2013-05-26 20:12:48 -07:00
parent 1fd01540ca
commit be464d2383
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -194,7 +194,7 @@
;; typecheck the expressions of a module-top-level form
;; no side-effects
;; syntax -> void
;; syntax? -> (or/c void? tc-results/c)
(define (tc-toplevel/pass2 form)
(parameterize ([current-orig-stx form])
(kernel-syntax-case* form #f (define-type-alias-internal define-typed-struct-internal define-type-internal
@ -417,7 +417,7 @@
(for/last ([form (in-syntax #'(e ...))])
(define-values (_ result) (tc-toplevel-form form))
result))
(begin0 (values #f (or result (void)))
(begin0 (values #f result)
(report-all-errors))]
[_
(when ((internal-syntax-pred define-type-alias-internal) form)