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

changes noticed by Matthew

Browse Source 
svn: r6980

original commit: 67dd80eb7892c7541f58dea69f5d53350e828a36
This commit is contained in:
Robby Findler 2007-07-29 18:56:32 +00:00
parent 76668972ee
commit 9f656deb25
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/mzscheme/contract-test.ss
View File

@ -4133,9 +4133,7 @@ so that propagation occurs.
(test-flat-contract '(>/c 5) 10 5)
(test-flat-contract '(integer-in 0 10) 0 11)
(test-flat-contract '(integer-in 0 10) 10 3/2)
(test-flat-contract '(exact-integer-in 0 10) 0 11)
(test-flat-contract '(exact-integer-in 0 10) 10 3/2)
(test-flat-contract '(exact-integer-in 0 10) 1 1.0)
(test-flat-contract '(integer-in 0 10) 1 1.0)
(test-flat-contract '(real-in 1 10) 3/2 20)
(test-flat-contract '(string/len 3) "ab" "abc")
(test-flat-contract 'natural-number/c 5 -1)
@ -4355,7 +4353,6 @@ so that propagation occurs.
(test-name '(>/c 5) (>/c 5))
(test-name '(between/c 5 6) (between/c 5 6))
(test-name '(integer-in 0 10) (integer-in 0 10))
(test-name '(exact-integer-in 0 10) (exact-integer-in 0 10))
(test-name '(real-in 1 10) (real-in 1 10))
(test-name '(string/len 3) (string/len 3))
(test-name 'natural-number/c natural-number/c)