jackfirth / resyntax / #405

94%

master: 94%

push

cover

Remove the file portion API

File portions were an intermediate pairing of a file path with a set
of line numbers used during file group resolution. They predate the
range set merging that file-groups-resolve performs, which makes them
obsolete: resolution now produces entries mapping file sources to line
range sets directly, and nothing outside the module ever used file
portions. Removing them also removes a latent contract mismatch, since
the file-portion constructor accepted mutable range sets while
file-portion-lines promised immutable ones.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

13 of 13 new or added lines in 1 file covered. (100.0%)

15740 of 16773 relevant lines covered (93.84%)

0.94 hits per line