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

Don't make mandatory super inits mandatory for super-new

Browse Source
This commit is contained in:
Asumu Takikawa 2013-05-23 19:29:58 -04:00
parent f82a49be7d
commit ba70851ba0
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -664,10 +664,9 @@
(#%plain-app cons (quote init-id) arg:expr) (#%plain-app cons (quote init-id) arg:expr)
...)) ...))
(define provided-inits (syntax->datum #'(init-id ...))) (define provided-inits (syntax->datum #'(init-id ...)))
(for ([(name val) (in-dict super-inits)] (for ([name provided-inits])
#:when (not (cadr val))) (unless (dict-ref super-inits name #f)
(unless (member name provided-inits) (tc-error/expr "super-new: init argument ~a not accepted by superclass"
(tc-error/expr "mandatory superclass init ~a not provided"
name))) name)))
(map cons provided-inits (syntax->list #'(arg ...)))])) (map cons provided-inits (syntax->list #'(arg ...)))]))