From 1c2763e2cfaf8cbe9d0ce6358233623659511076 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Tue, 23 Jul 2024 12:25:50 -0400 Subject: [PATCH] add tests --- test/loading.jl | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/test/loading.jl b/test/loading.jl index 8310cb03c410b..2c79493749998 100644 --- a/test/loading.jl +++ b/test/loading.jl @@ -77,6 +77,15 @@ mktempdir() do dir @test Base.isfile_casesensitive(true_filename) @test !Base.isfile_casesensitive(lowered_filename) + # check that case-sensitivity is preserved for relative paths with ghost directories: + @test Base.isfile_casesensitive(joinpath("somedir", "..", true_filename)) + @test !Base.isfile_casesensitive(joinpath("somedir", "..", lowered_filename)) + + # check that case-sensitivity is preserved for relative paths with real directories: + mkdir("somedir") + @test Base.isfile_casesensitive(joinpath("somedir", "..", true_filename)) + @test !Base.isfile_casesensitive(joinpath("somedir", "..", lowered_filename)) + # check that case-sensitivity only applies to basename of a path: if isfile(lowered_filename) # case-insensitive filesystem mkdir("cAsEtEsT")