From f2852257bb0987a0ffd5ca51d06ac0adf3d4a34d Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Fri, 5 Feb 2010 05:22:49 +0000 Subject: [PATCH] Added types for char->integer and integer->char. svn: r17990 --- 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 1e273d7c4a..2a9355da15 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -209,6 +209,8 @@ [char-downcase (-> -Char -Char)] [char-titlecase (-> -Char -Char)] [char-foldcase (-> -Char -Char)] +[char->integer (-> -Nat -Char)] +[integer->char (-> -Char -Nat)] [string-normalize-nfd (-> -String -String)] [string-normalize-nfkd (-> -String -String)]