suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added types for char->integer and integer->char.

Browse Source 
svn: r17990
This commit is contained in:
Carl Eastlund 2010-02-05 05:22:49 +00:00
parent 578637c691
commit f2852257bb
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env.ss
View File

@ -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)]