From 1ca5a51ce273adf38d17bdb1f8e49ed84e9dd717 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 25 Jun 2012 12:47:55 -0400 Subject: [PATCH] Update type of string-join for its new keyword arguments. Closes PR12866. original commit: b1ad108759d05a85a04f7220bb79e2b70156aaf9 --- collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 3 +++ collects/typed-racket/base-env/base-env.rkt | 5 ++++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index 4bd95698..3b740d5f 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -337,6 +337,9 @@ (let: ([v : String "a"]) (string-append "foo" (a v)))) -String] + [tc-e (string-join '("hello" "world") " ") -String] + [tc-e (string-join '("hello" "world")) -String] + [tc-e (string-join '("hello" "world") #:first "a") -String] [tc-e (apply (plambda: (a) [x : a *] x) '(5)) (-lst -PosByte)] [tc-e (apply append (list '(1 2 3) '(4 5 6))) (-lst -PosByte)] diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 31460e03..bbef85be 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -363,7 +363,10 @@ (cl->* (-> (-lst -String) -String) (-> -String (-lst -String) -String))] -[string-join (-> (-lst -String) -String -String)] +[string-join + (->optkey (-lst -String) [-String] + #:before-last -String #f #:first -String #f #:last -String #f + -String)] ;Section 3.6