changed real-in to be an alias for between/c

original commit: 51ad306af256fe6a1742c99d2caffc062cdfc6e0
This commit is contained in:
Robby Findler 2011-01-04 09:48:55 -06:00
parent 709cffad7a
commit 54b7b650cc

View File

@ -4164,7 +4164,7 @@ 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 '(real-in 1 10) (real-in 1 10))
(test-name '(between/c 1 10) (real-in 1 10))
(test-name '(string-len/c 3) (string/len 3))
(test-name 'natural-number/c natural-number/c)
(test-name #f false/c)