From f84a9a21b5c6c5aac3edbca40f4d5d9a6b5146b4 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2025 12:21:48 -0400 Subject: [PATCH] Fix type for `path-has-extension?`. Closes #1459. --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- typed-racket-test/unit-tests/typecheck-tests.rkt | 1 + 2 files changed, 2 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 c626ada10..84e176e2e 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2889,7 +2889,7 @@ [simple-form-path (-Pathlike . -> . -Path)] [normalize-path (cl->* (-Pathlike [-Pathlike] . ->opt . -Path))] [path-get-extension (-SomeSystemPathlike . -> . (-opt -Bytes))] -[path-has-extension? (-SomeSystemPathlike (Un -String -Bytes) . -> . (-opt -Bytes))] +[path-has-extension? (-SomeSystemPathlike (Un -String -Bytes) . -> . B)] [filename-extension (-SomeSystemPathlike . -> . (-opt -Bytes))] [file-name-from-path (-Pathlike . -> . (-opt -Path))] [path-only (-SomeSystemPathlike . -> . (-opt -Path))] diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index ad1aa2a22..8bd94ff4f 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -1632,6 +1632,7 @@ (tc-e (resolve-path "foo") -Path) (tc-e (expand-user-path "foo") -Path) + (tc-e (path-has-extension? "a.git" ".git") -Boolean) ;;String Tests (tc-e (string? "a") #:ret (tc-ret -Boolean -true-propset))