From f5ba0864a08473b30ec714b63d958855250f76a7 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 26 Oct 2013 00:10:04 -0400 Subject: [PATCH] Swap conditional order This has no effect on the truth table, but affects side effects. It shouldn't actually matter because `check-all-registered-types` is not called in the TR top-level anyway, but this seems safer. original commit: cf7b5b79e766254611255765e8e50f0b80d4c803 --- .../typed-racket-lib/typed-racket/env/global-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt index 4fe82b6e..b77a3d35 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt @@ -74,7 +74,7 @@ (free-id-table-remove! the-mapping id)) (define (finish-register-type id [top-level? #f]) - (unless (or top-level? (maybe-finish-register-type id)) + (unless (or (maybe-finish-register-type id) top-level?) (tc-error/expr #:stx id "Duplicate definition for ~a" (syntax-e id))) (void))