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

bring contract tests up to date with changes to undefined

Browse Source
This commit is contained in:
Robby Findler 2014-04-16 22:05:23 -05:00
parent 5db4514004
commit 80c27cd3b4
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/racket-pkgs/racket-test/tests/racket/contract/name.rkt
View File

@ -5,12 +5,13 @@
(define-syntax (test-name stx)
(syntax-case stx ()
[(_ name contract)
#'(do-name-test 'name 'contract)]))
(with-syntax ([line (syntax-line stx)])
#'(do-name-test line 'name 'contract))]))
(define (do-name-test name contract-exp)
(contract-eval #:test-case-name "test a name"
(define (do-name-test line name contract-exp)
(contract-eval #:test-case-name (format "name test on line ~a" line)
`(,test ,name contract-name ,contract-exp))
(contract-eval #:test-case-name "test a name opt/c"
(contract-eval #:test-case-name (format "opt/c name test on line ~a" line)
`(,test ,name contract-name (opt/c ,contract-exp))))
(parameterize ([current-contract-namespace (make-basic-contract-namespace
@ -174,9 +175,9 @@
(test-name 'printable/c printable/c)
(test-name '(or/c 'a 'b 'c) (symbols 'a 'b 'c))
(test-name '(or/c 1 2 3) (one-of/c 1 2 3))
(test-name '(or/c '() 'x 1 #f #\a void? undefined?)
(one-of/c '() 'x 1 #f #\a (void) (letrec ([x x]) x)))
(test-name '(or/c '() 'x 1 #f #\a void?)
(one-of/c '() 'x 1 #f #\a (void)))
(test-name '(or/c #f #t #\a "x") (or/c #f #t #\a "x"))
(test-name '(or/c #f #t #\a "x" #rx"x" #rx#"x") (or/c #f #t #\a "x" #rx"x" #rx#"x"))