From 2804bd4a93c6ddc2a1e8f5e43f96f8e40ffa051d Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Mon, 27 Mar 2017 10:18:53 -0400 Subject: [PATCH] update path-add-extension type with new optional argument (#519) --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 +++- typed-racket-test/succeed/somesystempath.rkt | 2 ++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index e517693a..3158a4aa 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2595,7 +2595,9 @@ [path-add-extension (cl->* (-> -Pathlike (Un -String -Bytes) -Path) - (-> -SomeSystemPathlike (Un -String -Bytes) -SomeSystemPath))] + (-> -Pathlike (Un -String -Bytes) (Un -String -Bytes) -Path) + (-> -SomeSystemPathlike (Un -String -Bytes) -SomeSystemPath) + (-> -SomeSystemPathlike (Un -String -Bytes) (Un -String -Bytes) -SomeSystemPath))] [path-replace-suffix (cl->* diff --git a/typed-racket-test/succeed/somesystempath.rkt b/typed-racket-test/succeed/somesystempath.rkt index e6c664ad..e7a36223 100644 --- a/typed-racket-test/succeed/somesystempath.rkt +++ b/typed-racket-test/succeed/somesystempath.rkt @@ -15,6 +15,8 @@ (filename-extension p) (path-only long-path) (some-system-path->string long-path) + (path-add-extension p ".bak") + (path-add-extension p ".bak" ".") ))