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

Added types for string-copy and string->immutable-string.

Browse Source 
svn: r15202

original commit: a06c6b38aa839860a6157b0644d7ab17ba964167
This commit is contained in:
Carl Eastlund 2009-06-18 00:59:04 +00:00
parent ee04be2096
commit 1a71d5e3a3
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

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