From 456d67037f50b04280dc844b16b1067052531a2b Mon Sep 17 00:00:00 2001 From: Joscha Date: Fri, 27 Feb 2026 19:18:18 +0100 Subject: [PATCH 1/2] chore: ensure test names differ by more than just case These tests may lead to issues on case insensitive file systems, so a linter seems appropriate. --- tests/elab/{treemap.lean => treeMap2.lean} | 0 tests/lint.py | 10 ++++++++++ 2 files changed, 10 insertions(+) rename tests/elab/{treemap.lean => treeMap2.lean} (100%) diff --git a/tests/elab/treemap.lean b/tests/elab/treeMap2.lean similarity index 100% rename from tests/elab/treemap.lean rename to tests/elab/treeMap2.lean diff --git a/tests/lint.py b/tests/lint.py index 7d3fae063bcf..f472a3458488 100755 --- a/tests/lint.py +++ b/tests/lint.py @@ -190,5 +190,15 @@ def nag(reason: str, path: Path, fatal: bool = True) -> None: nag("has env_test.sh", file) +# File confusion by case insensitive filesystems + +seen: set[str] = set() +for file in Path().glob("**/*"): + path = str(file).lower() + if path in seen: + nag("case sensitive", file) + seen.add(path) + + if ERROR: sys.exit(1) From 0382a2f3d0cadcbd9c8e064e813671e6aecac363 Mon Sep 17 00:00:00 2001 From: Joscha Date: Fri, 27 Feb 2026 19:23:03 +0100 Subject: [PATCH 2/2] Search entire repo for case issues --- tests/lint.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tests/lint.py b/tests/lint.py index f472a3458488..25c02cf8f39d 100755 --- a/tests/lint.py +++ b/tests/lint.py @@ -190,10 +190,11 @@ def nag(reason: str, path: Path, fatal: bool = True) -> None: nag("has env_test.sh", file) -# File confusion by case insensitive filesystems +# File confusion by case insensitive filesystems, +# applies to entire repository seen: set[str] = set() -for file in Path().glob("**/*"): +for file in Path("..").glob("**/*"): path = str(file).lower() if path in seen: nag("case sensitive", file)