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

Add some test cases for super.

Browse Source 
svn: r18172
This commit is contained in:
Stevie Strickland 2010-02-18 23:34:35 +00:00
parent f8d5234148
commit 6fcb61cc11
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
collects/tests/mzscheme/contract-test.ss
View File

@ -4325,6 +4325,36 @@
[d% (class c% (super-new) (define/override (m) (super m 5)))])
(send (new d%) m)))
(test/spec-passed
'class/c-higher-order-super-1
'(let* ([c% (contract (class/c [m (-> any/c integer? integer?)]
(super [m (-> any/c number? number?)]))
(class object% (super-new) (define/public (m x) (add1 x)))
'pos
'neg)]
[d% (class c% (super-new) (define/override (m x) (+ x (super m 3.5))))])
(send (new d%) m 4.5)))
(test/neg-blame
'class/c-higher-order-super-2
'(let* ([c% (contract (class/c [m (-> any/c integer? integer?)]
(super [m (-> any/c number? number?)]))
(class object% (super-new) (define/public (m x) (add1 x)))
'pos
'neg)]
[d% (class c% (super-new) (define/override (m) (super m #f)))])
(send (new d%) m)))
(test/pos-blame
'class/c-higher-order-super-2
'(let* ([c% (contract (class/c [m (-> any/c integer? integer?)]
(super [m (-> any/c number? number?)]))
(class object% (super-new) (define/public (m x) (zero? x)))
'pos
'neg)]
[d% (class c% (super-new) (define/override (m) (super m 3.5)))])
(send (new d%) m)))
;
;
; ;; ;; ; ;;