From d04bd86120f907d742625dd47b30c9fc1c0dc887 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..4090f651ea5cf 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("nonexistent", "..", true_filename)) + @test !Base.isfile_casesensitive(joinpath("nonexistent", "..", lowered_filename)) + + # check that case-sensitivity is preserved for relative paths with real directories: + mkdir("realdir") + @test Base.isfile_casesensitive(joinpath("realdir", "..", true_filename)) + @test !Base.isfile_casesensitive(joinpath("realdir", "..", lowered_filename)) + # check that case-sensitivity only applies to basename of a path: if isfile(lowered_filename) # case-insensitive filesystem mkdir("cAsEtEsT")