From d138d2df0cfb6bafed22b9525aa9ea482ba290f6 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Thu, 5 Dec 2013 00:28:20 -0500
Subject: [PATCH] Add remaining racket/string types

Please merge to v6.0

original commit: 2d8a3cffda3cd71712b763cda1d2439c480d1bc8
---
 .../typed-racket/base-env/base-env.rkt        | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 0e62c2aa..76c2398a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -146,6 +146,27 @@
  (->optkey (-lst -String) [-String]
            #:before-last -String #f #:before-first -String #f #:after-last -String #f
            -String)]
+[string-normalize-spaces
+ (->optkey -String [(Un -String -Regexp) -String]
+           #:trim? Univ #f
+           #:repeat? Univ #f
+           -String)]
+[string-replace
+ (->key -String (Un -String -Regexp) -String
+        #:all? Univ #f
+        -String)]
+[string-split
+ (->optkey -String
+           [(Un -String -Regexp)]
+           #:trim? Univ #f
+           #:repeat? Univ #f
+           (-lst -String))]
+[string-trim
+ (->optkey -String [(Un -String -Regexp)]
+           #:left? Univ #f
+           #:right? Univ #f
+           #:repeat? Univ #f
+           -String)]
 
 ;; Section 4.4 (Byte Strings)
 [bytes (->* (list) -Integer -Bytes)]