[dbrattli]

Problem

The verify-linting CI job fails on roughly every other run, always with:

[INF] ./src/fable-library-dart/Map.fs needs formatting

Fantomas 7.0.5 nondeterministically drops the trailing comment on an else if ... then // comment line when formatting a directory:

-        else if t1h > t2h + tolerance then // left is heavier than right
+        else if t1h > t2h + tolerance then

Only that trivia position is affected — trailing comments on plain if ... then and on else survive. It reproduces only in a whole-directory run (dotnet fantomas . --check), never single-file, which points at a concurrency bug in Fantomas' trivia handling. A fix on the Fantomas side is realistically months out.

Despite CI always naming the Dart Map.fs, the file isn't special: the pattern is duplicated in the Map/Set implementations of the ts, py, dart and rust libraries, and any of those eight files can lose the race (my local repro mangled fable-library-ts/Map.fs). Adding the Dart file to .fantomasignore would therefore have fixed nothing and would have dropped format checking for the file.

Change

Move the comment to its own line above the else if, in all eight files, so the trivia Fantomas mishandles no longer exists. The comments are preserved; nothing semantic changes.

Verification

Repeated repo-wide dotnet fantomas . --check:

	failures
before	1 / 30
after	0 / 150

🤖 Generated with Claude Code

[github-actions]

Python Type Checking Results (Pyright)

Metric	Value
Total errors	34
Files with errors	4
Excluded files	4
New errors	✅ No

Excluded files with errors (4 files)

These files have known type errors and are excluded from CI. Remove from pyrightconfig.ci.json as errors are fixed.

File	Errors	Status
temp/tests/Python/test_hash_set.py	18	Excluded
temp/tests/Python/test_applicative.py	12	Excluded
temp/tests/Python/test_nested_and_recursive_pattern.py	2	Excluded
temp/tests/Python/fable_modules/thoth_json_python/encode.py	2	Excluded