From be464d23834084b8fe15ae7006cadfc379e1a0c2 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sun, 26 May 2013 20:12:48 -0700 Subject: [PATCH] Fix documented type, and remove unnecessary or. original commit: 7618cac88e098a364f1541ec559d3e797134112f --- collects/typed-racket/typecheck/tc-toplevel.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/typecheck/tc-toplevel.rkt b/collects/typed-racket/typecheck/tc-toplevel.rkt index d44f138a..b190aef8 100644 --- a/collects/typed-racket/typecheck/tc-toplevel.rkt +++ b/collects/typed-racket/typecheck/tc-toplevel.rkt @@ -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)