diff options
Diffstat (limited to 'test/test_validate.ml')
| -rw-r--r-- | test/test_validate.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/test_validate.ml b/test/test_validate.ml index 501dd2e..9fa3c5c 100644 --- a/test/test_validate.ml +++ b/test/test_validate.ml @@ -276,10 +276,14 @@ module Synthetic = struct defaults against the default empty [layer], since nothing ever contests the temporal office there) so the resolution fixtures further down can override them without duplicating every other field. *) + (* No fixture here exercises citations -- readings is a harmless constant + [], the same role the other placeholder defaults above play. *) + let readings ~observed:_ ~temporal:_ ~date:_ ~temporal_at:_ = [] + let rite ?(vocab = vocab) ?(anchors = fun _ -> []) ?(season_runs = [ A; B ]) ?(rules = rules) ?(transfer_target = fun _ origin _ -> origin) temporal : (season, rank) Rite.t = { Rite.id = "synthetic"; vocab; year_start; temporal; anchors; rules; season_runs; - transfer_target } + transfer_target; readings } (* Empty by default: every check built before Task 12 exercises the TEMPORAL-only pass, where an empty layer is exactly the fixture that |