From ddf31e527ea4cf5e345f067700b4263c04429b16 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 23 May 2013 10:17:35 -0400 Subject: [PATCH] Allow top-level expressions to refer to inits original commit: b9a175eed277138f9f4216b2f4694a3e27b7d7bb --- .../typed-racket/typecheck/check-class-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt index 9e193a87..5c70cdef 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt @@ -285,7 +285,7 @@ self-type)) (with-lexical-env/extend lexical-names/top-level lexical-types/top-level (check-super-new provided-super-inits super-inits)) - (with-lexical-env/extend lexical-names lexical-types + (with-lexical-env/extend lexical-names/top-level lexical-types/top-level (for ([stx top-level-exprs] #:unless (syntax-property stx 'tr:class:super-new)) (tc-expr stx)))