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

test cases for bad vector contract error messages

Browse Source
This commit is contained in:
Robby Findler 2019-04-18 20:07:36 -05:00
parent 6d7550125f
commit c800b61f0b
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/racket-test/tests/racket/contract/vector.rkt
View File

@ -275,4 +275,24 @@
'vectorof-or/c-first-order-pass
'(contract (or/c (vectorof integer?) (vectorof string?)) (vector 1) 'pos 'neg))
)
(test/spec-passed/result
'vector-error-message.1
'(with-handlers ([exn:fail? (λ (x) (regexp-match? #rx"promised a vector\n"
(exn-message x)))])
(contract (vector/c any/c #:immutable #f) 5 'pos 'neg)
"no exn")
#t)
(test/spec-passed/result
'vector-error-message.2
'(with-handlers ([exn:fail? (λ (x) (regexp-match? #rx"promised an immutable vector\n"
(exn-message x)))])
(contract (vector/c any/c #:immutable #t) (vector 1) 'pos 'neg))
#t)
(test/spec-passed/result
'vector-error-message.3
'(with-handlers ([exn:fail? (λ (x) (regexp-match? #rx"promised a mutable vector\n"
(exn-message x)))])
(contract (vector/c any/c #:immutable #f) (vector-immutable 1) 'pos 'neg))
#t))