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

Updated tests for set/c.

Browse Source 
Restored test for first-order check of elements when given a flat contract.
Added tests for #:kind 'mutable.
This commit is contained in:
Carl Eastlund 2013-07-28 23:53:08 -04:00
parent b192620b0d
commit 865e4dd1b8
1 changed files with 56 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
pkgs/racket-pkgs/racket-test/tests/racket/contract/set.rkt
View File

@ -13,9 +13,9 @@
(test/pos-blame
'set/c2
'(set-first (contract (set/c integer?)
(set #t)
'pos 'neg)))
'(contract (set/c integer?)
(set #t)
'pos 'neg))
(test/pos-blame
'set/c3
@ -57,4 +57,56 @@
(set (λ (x) #f))
'pos 'neg)
values)])
((car s) 1))))
((car s) 1)))
(test/pos-blame
'set/c9
'(contract (set/c integer?)
(list 0)
'pos 'neg))
(test/pos-blame
'set/c10
'(contract (set/c integer?)
(mutable-set 0)
'pos 'neg))
(test/spec-passed/result
'set/c11
'(contract (set/c integer? #:kind 'dont-care)
(list 0)
'pos 'neg)
(list 0))
(test/spec-passed/result
'set/c12
'(contract (set/c integer? #:kind 'dont-care)
(set 0)
'pos 'neg)
(contract-eval '(set 0)))
(test/spec-passed/result
'set/c13
'(contract (set/c integer? #:kind 'dont-care)
(mutable-set 0)
'pos 'neg)
(contract-eval '(mutable-set 0)))
(test/pos-blame
'set/c14
'(contract (set/c integer? #:kind 'mutable)
(list 0)
'pos 'neg))
(test/pos-blame
'set/c15
'(contract (set/c integer? #:kind 'mutable)
(set 0)
'pos 'neg))
(test/spec-passed/result
'set/c16
'(contract (set/c integer? #:kind 'mutable)
(mutable-set 0)
'pos 'neg)
(contract-eval '(mutable-set 0))))