From 18ecdda414b7107db3e9722a9dfd4dfedd8e2ace Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 6 Jan 2008 15:53:50 +0000 Subject: [PATCH] renamed string/len to string-len/c svn: r8237 original commit: cda0888ab94e37deda66af8da5ca7dec10fccd30 --- collects/mzlib/contract.ss | 4 +++- collects/tests/mzscheme/contract-mzlib-test.ss | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/mzlib/contract.ss b/collects/mzlib/contract.ss index 1fe5599..55b232f 100644 --- a/collects/mzlib/contract.ss +++ b/collects/mzlib/contract.ss @@ -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 diff --git a/collects/tests/mzscheme/contract-mzlib-test.ss b/collects/tests/mzscheme/contract-mzlib-test.ss index a0008e5..78e18a4 100644 --- a/collects/tests/mzscheme/contract-mzlib-test.ss +++ b/collects/tests/mzscheme/contract-mzlib-test.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)