improved the name printing for between contracts

This commit is contained in:
Robby Findler 2010-08-07 08:49:31 -05:00
parent 98fb0e5b3a
commit 561d33fddd
2 changed files with 7 additions and 4 deletions

View File

@ -492,10 +492,12 @@
(let ([n (between/c-low ctc)]
[m (between/c-high ctc)])
(cond
[(= n -inf.0) `(<=/c ,m)]
[(= m +inf.0) `(>=/c ,n)]
[(= n m) `(=/c ,n)]
[else `(between/c ,n ,m)])))
[(and (= n -inf.0) (= m +inf.0))
`(between/c ,n ,m)]
[(= n -inf.0) `(<=/c ,m)]
[(= m +inf.0) `(>=/c ,n)]
[(= n m) `(=/c ,n)]
[else `(between/c ,n ,m)])))
#:stronger
(λ (this that)

View File

@ -8655,6 +8655,7 @@ 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 -inf.0 +inf.0) (between/c -inf.0 +inf.0))
(test-name '(integer-in 0 10) (integer-in 0 10))
(test-name '(real-in 1 10) (real-in 1 10))
(test-name '(string-len/c 3) (string-len/c 3))