diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 12:10:49 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-11 12:10:49 +0200 |
| commit | 1512df6514f0e656d734f2bf03d050355d0dd0b7 (patch) | |
| tree | b21632e1fc9d8f996a211bd31d10ea2fac22d542 /test/test_date.ml | |
| parent | abade24943f2f77c058b5ff768093b8babc9a8c3 (diff) | |
| download | colitur-1512df6514f0e656d734f2bf03d050355d0dd0b7.tar.gz colitur-1512df6514f0e656d734f2bf03d050355d0dd0b7.zip | |
kernel: correct false compiler-constraint claim in Celebration comment
The comment explaining Celebration's single type parameter claimed OCaml
rejects a type variable that appears in no field. That is false: a phantom
season parameter compiles cleanly. The real reason is a design choice, not a
compiler constraint -- a celebration has no season of its own (season is
contextual to the day, and lives in Temporal.t), and a phantom parameter
would carry no information while forcing every consumer to thread a
meaningless variable.
Diffstat (limited to 'test/test_date.ml')
0 files changed, 0 insertions, 0 deletions