renamed string/len to string-len/c
svn: r8237 original commit: cda0888ab94e37deda66af8da5ca7dec10fccd30
This commit is contained in:
parent
adca444b9a
commit
18ecdda414
|
@ -36,7 +36,9 @@
|
|||
|
||||
(except-out (all-from-out scheme/private/contract)
|
||||
check-between/c
|
||||
check-unary-between/c))
|
||||
string-len/c
|
||||
check-unary-between/c)
|
||||
(rename-out [string-len/c string/len]))
|
||||
|
||||
;; from contract-guts.ss
|
||||
|
||||
|
|
|
@ -4160,7 +4160,7 @@ so that propagation occurs.
|
|||
(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 '(string/len 3) (string/len 3))
|
||||
(test-name '(string-len/c 3) (string/len 3))
|
||||
(test-name 'natural-number/c natural-number/c)
|
||||
(test-name 'false/c false/c)
|
||||
(test-name 'printable/c printable/c)
|
||||
|
|
Loading…
Reference in New Issue
Block a user