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

fix real-in naming test cases

Browse Source
This commit is contained in:
Robby Findler 2014-07-28 18:31:52 -05:00
parent 8f08418699
commit 60516049ed
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl
View File

@ -4171,7 +4171,8 @@ so that propagation occurs.
(test-name '(>/c 5) (>/c 5)) (test-name '(>/c 5) (>/c 5))
(test-name '(between/c 5 6) (between/c 5 6)) (test-name '(between/c 5 6) (between/c 5 6))
(test-name '(integer-in 0 10) (integer-in 0 10)) (test-name '(integer-in 0 10) (integer-in 0 10))
(test-name '(between/c 1 10) (real-in 1 10)) (test-name '(real-in 1 10) (real-in 1 10))
(test-name '(between/c 1 10) (between/c 1 10))
(test-name '(string-len/c 3) (string/len 3)) (test-name '(string-len/c 3) (string/len 3))
(test-name 'natural-number/c natural-number/c) (test-name 'natural-number/c natural-number/c)
(test-name #f false/c) (test-name #f false/c)

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

@ -180,7 +180,8 @@
(test-name '(between/c 5 6) (between/c 5 6)) (test-name '(between/c 5 6) (between/c 5 6))
(test-name '(between/c -inf.0 +inf.0) (between/c -inf.0 +inf.0)) (test-name '(between/c -inf.0 +inf.0) (between/c -inf.0 +inf.0))
(test-name '(integer-in 0 10) (integer-in 0 10)) (test-name '(integer-in 0 10) (integer-in 0 10))
(test-name '(between/c 1 10) (real-in 1 10)) (test-name '(real-in 1 10) (real-in 1 10))
(test-name '(between/c 1 10) (between/c 1 10))
(test-name '(string-len/c 3) (string-len/c 3)) (test-name '(string-len/c 3) (string-len/c 3))
(test-name 'natural-number/c natural-number/c) (test-name 'natural-number/c natural-number/c)
(test-name #f false/c) (test-name #f false/c)