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

add box/c tests (should have been included in 37a4a9ada6)

Browse Source
This commit is contained in:
Robby Findler 2014-05-22 09:20:33 -05:00
parent f36dc28102
commit 4c108b09de
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
View File

@ -19,6 +19,23 @@
'box/c3
'(contract (box/c integer?) (box-immutable #f) 'pos 'neg))
(test/pos-blame
'box/c4
'(contract (box/c integer? #:immutable #t) (box-immutable #f) 'pos 'neg))
(test/spec-passed
'box/c5
'(contract (box/c boolean? #:immutable #t) (box-immutable #f) 'pos 'neg))
(test/neg-blame
'box/c6
'(set-box! (contract (box/c boolean?) (box #f) 'pos 'neg) 11))
(test/neg-blame
'box/c7
'(set-box! (contract (box/c boolean?) (box 12) 'pos 'neg) 11))
(test/neg-blame
'box/c-with-cons/c-inside
'(let ([f