File tree Expand file tree Collapse file tree 1 file changed +8
-8
lines changed
typed-racket-lib/typed-racket/typecheck Expand file tree Collapse file tree 1 file changed +8
-8
lines changed Original file line number Diff line number Diff line change 13091309;; Check that by-name inits are valid for the superclass
13101310(define (check-by-name init-stxs super-inits)
13111311 (match-define (super-init-stxs _ by-name) init-stxs)
1312- (for ([(name _ ) (in-dict by-name)])
1313- ( unless (dict-ref super-inits name #f )
1314- (tc-error/fields
1315- " invalid `super-new' or `super-instantiate' "
1316- #:more " init argument not accepted by superclass "
1317- " init name " name
1318- #:stx #`#,name
1319- #:delayed? #t ) )))
1312+ (for ([(name _ ) (in-dict by-name)]
1313+ #: unless (dict-ref super-inits name #f ) )
1314+ (tc-error/fields " invalid `super-new' or `super-instantiate' "
1315+ #:more " init argument not accepted by superclass "
1316+ " init name "
1317+ name
1318+ #:stx #`#,name
1319+ #:delayed? #t )))
13201320
13211321;; check-super-new : super-init-stxs Dict Type -> Void
13221322;; Check if the super-new call is well-typed
You can’t perform that action at this time.
0 commit comments