diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-19 14:09:09 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-19 14:09:09 +0200 |
| commit | d869a4410a88333d328358c723609577d32f3380 (patch) | |
| tree | 0d787e6ae95af9cace13e96b888ef85852f6c422 /tools/bootstrap_sanctoral.ml | |
| parent | 59fbd3718dbf2721557b97d7b4e87dce38fb745c (diff) | |
| download | colitur-d869a4410a88333d328358c723609577d32f3380.tar.gz colitur-d869a4410a88333d328358c723609577d32f3380.zip | |
fix(naming): config.ml merges every [defaults] block, like lang.ml
config.ml and lang.ml both parse the INI format through the same reader,
Colitur_kernel.Overlay_ini.parse_sections, but resolved a repeated
[section] header oppositely: lang.ml folds over every section sharing
a name, while config.ml used List.find_opt and silently discarded every
[defaults] block after the first. Two modules parsing one file format
must not disagree about what a duplicate section header means.
of_string now folds a single accumulator across every section named
[defaults], in file order, matching lang.ml's of_string shape. A
scalar key (lang/template/format) repeated across two blocks resolves
to the later value, consistent with the existing within-section
last-wins rule; overlay keeps accumulating across every block, not
only the first; and unknown_sections still excludes every [defaults]
block, merged or not, since merging it is the point.
config.mli's lang doc comment is extended to say the last-wins rule
holds across block boundaries too, cross-referencing lang.ml's own
duplicate-section policy so the two do not drift again unnoticed.
Diffstat (limited to 'tools/bootstrap_sanctoral.ml')
0 files changed, 0 insertions, 0 deletions
