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

Update type of string-join for its new keyword arguments.

Browse Source 
Closes PR12866.
This commit is contained in:
Vincent St-Amour 2012-06-25 12:47:55 -04:00
parent c2924ef926
commit b1ad108759
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -337,6 +337,9 @@
(let: ([v : String "a"]) (let: ([v : String "a"])
(string-append "foo" (a v)))) (string-append "foo" (a v))))
-String] -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 (plambda: (a) [x : a *] x) '(5)) (-lst -PosByte)]
[tc-e (apply append (list '(1 2 3) '(4 5 6))) (-lst -PosByte)] [tc-e (apply append (list '(1 2 3) '(4 5 6))) (-lst -PosByte)]

5
collects/typed-racket/base-env/base-env.rkt
View File

@ -363,7 +363,10 @@
(cl->* (-> (-lst -String) -String) (cl->* (-> (-lst -String) -String)
(-> -String (-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 ;Section 3.6