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

Opaque class/c should treat field opaquely too.

Browse Source
This commit is contained in:
Asumu Takikawa 2012-01-12 17:49:04 -05:00
parent 3eb963f62d
commit f1557bc4be
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/racket/private/class-internal.rkt
View File

@ -2638,6 +2638,10 @@
(for ([f (class/c-absent-fields ctc)]) (for ([f (class/c-absent-fields ctc)])
(when (hash-ref field-ht f #f) (when (hash-ref field-ht f #f)
(fail "class already contains public field ~a" f))) (fail "class already contains public field ~a" f)))
(when (class/c-opaque? ctc)
(for ([f (in-hash-keys field-ht)])
(unless (memq f (class/c-fields ctc))
(fail "field ~a not specified in contract" f))))
(for ([f (class/c-inherit-fields ctc)]) (for ([f (class/c-inherit-fields ctc)])
(unless (hash-ref field-ht f #f) (unless (hash-ref field-ht f #f)
(fail "no public field ~a" f))))) (fail "no public field ~a" f)))))