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

another fix to the first-order check I added earlier today

Browse Source 
(discovered by the test suites run by drdr)
This commit is contained in:
Robby Findler 2013-12-13 19:18:43 -06:00
parent b44c23ba20
commit 074f21203a
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2817,13 +2817,14 @@ An example
[c (in-list (class/c-method-contracts ctc))])
(define mth (hash-ref method-ht m #f))
(unless mth (fail "no public method ~a" m))
(define meth-proc
(let loop ([m/l (vector-ref methods mth)])
(cond
[(pair? m/l) (loop (car m/l))]
[else m/l])))
(unless (contract-first-order-passes? c meth-proc)
(fail "public method ~a doesn't match contract" m)))
(when c
(define meth-proc
(let loop ([m/l (vector-ref methods mth)])
(cond
[(pair? m/l) (loop (car m/l))]
[else m/l])))
(unless (contract-first-order-passes? c meth-proc)
(fail "public method ~a doesn't match contract" m))))
(unless (class/c-opaque? ctc)
(for ([m (class/c-absents ctc)])
(when (hash-ref method-ht m #f)