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

Tests for blame completeness.

Browse Source
This commit is contained in:
Vincent St-Amour 2016-05-20 13:54:25 -05:00
parent a1ca38f30e
commit 62a44c0ca8
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
pkgs/racket-test/tests/racket/contract/blame.rkt
View File

@ -295,4 +295,29 @@
'pos 'neg))
"suggestion: try zero?\n")
(contract-eval '(define (has-complete-blame? v)
(and (value-blame v)
(not (blame-missing-party? (value-blame v))))))
(contract-eval '(require racket/class))
(test/spec-passed/result
'complete-prop-blame1
'(has-complete-blame? (contract (-> integer? integer?) add1 'pos 'neg))
#t)
(test/spec-passed/result
'complete-prop-blame2
'(has-complete-blame? (contract (-> integer? any) add1 'pos 'neg))
#t)
(test/spec-passed/result
'complete-prop-blame3
'(has-complete-blame? (contract (->m integer?) add1 'pos 'neg))
#t)
(test/spec-passed/result
'complete-prop-blame4
'(has-complete-blame? (contract (->i ([x integer?]) [res integer?]) add1 'pos 'neg))
#t)
(test/spec-passed/result
'complete-prop-blame5
'(has-complete-blame? (contract (vectorof integer?) (vector 1 2 3) 'pos 'neg))
#t)
)