From 1f74a6713907d7e1770dc8422164ef1bb01b904f Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 5 Dec 2013 01:47:41 -0500 Subject: [PATCH] Add type for `regexp-replaces` Please merge to v6.0 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 7 +++++++ 1 file changed, 7 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 76c2398ae4..3c33ac7e3d 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 @@ -333,6 +333,13 @@ (->opt (Un -String -Regexp) -String (Un -String (->* (list -String) -String -String)) [-Bytes] -String) (->opt (Un -Bytes -Byte-Regexp) (Un -Bytes -String) (Un -Bytes -String (->* (list -Bytes) -Bytes -Bytes)) [-Bytes] -Bytes) (->opt -Pattern -Bytes (Un -Bytes -String (->* (list -Bytes) -Bytes -Bytes)) [-Bytes] -Bytes))] +[regexp-replaces + (-> (Un -String -Bytes) + (-lst (-lst* (Un -String -Bytes -Regexp -Byte-Regexp) + (Un -String -Bytes + (->* (list -String) -String -String) + (->* (list -Bytes) -Bytes -Bytes)))) + (Un -String -Bytes))] [regexp-replace-quote (cl->* [-> -String -String]