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

Allow top-level expressions to refer to inits

Browse Source 
original commit: b9a175eed277138f9f4216b2f4694a3e27b7d7bb
This commit is contained in:
Asumu Takikawa 2013-05-23 10:17:35 -04:00
parent 290abc0333
commit ddf31e527e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
View File

@ -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)))