From a06c6b38aa839860a6157b0644d7ab17ba964167 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Thu, 18 Jun 2009 00:59:04 +0000 Subject: [PATCH] Added types for string-copy and string->immutable-string. svn: r15202 --- collects/typed-scheme/private/base-env.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index d1fce6ebf5..2699aeab09 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -231,6 +231,8 @@ [string-normalize-nfc (-> -String -String)] [string-normalize-nfkc (-> -String -String)] +[string-copy (-> -String -String)] +[string->immutable-string (-> -String -String)] [string-ref (-> -String N -Char)] [substring (cl->* (-> -String N -String)