blob: eb672d954b086e2ae2308d84d99b5ebcddf5e788 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
module V = Rite_ef.Vocab_ef
let test_vocab_roundtrips () =
List.iter
(fun s ->
Alcotest.(check bool) "season string roundtrip" true
(V.season_of_string (V.season_to_string s) = Some s))
V.seasons;
List.iter
(fun r ->
Alcotest.(check bool) "rank string roundtrip" true
(V.rank_of_string (V.rank_to_string r) = Some r))
V.ranks;
Alcotest.(check int) "eight seasons" 8 (List.length V.seasons);
Alcotest.(check int) "four ranks" 4 (List.length V.ranks)
(* Slug words are lectio's lectionary-key vocabulary, deliberately distinct from
the season names (spec §4.4, plan correction 2). *)
let test_slug_words () =
Alcotest.(check string) "paschaltide slugs as easter" "easter" (V.season_slug_word V.Paschaltide);
Alcotest.(check string) "christmastide slugs as christmas" "christmas"
(V.season_slug_word V.Christmastide);
Alcotest.(check string) "season name differs" "paschaltide" (V.season_to_string V.Paschaltide)
module T = Rite_ef.Temporal_ef
module D = Colitur_kernel.Date
let d y m dd = match D.make ~year:y ~month:m ~day:dd with
| Ok t -> t | Error e -> Alcotest.failf "%s" e
let season_str dt = V.season_to_string (T.season dt)
let test_advent_start () =
(* Advent 2026 begins Sunday 29 November 2026. *)
Alcotest.(check string) "advent 2026" "2026-11-29" (D.to_iso8601 (T.advent_start 2026));
Alcotest.(check bool) "always a Sunday" true (D.weekday (T.advent_start 2026) = D.Sun)
let test_seasons () =
(* Easter 2026 is 5 April. *)
Alcotest.(check string) "1 Dec 2026" "advent" (season_str (d 2026 12 1));
Alcotest.(check string) "24 Dec 2026" "advent" (season_str (d 2026 12 24));
Alcotest.(check string) "25 Dec 2026" "christmastide" (season_str (d 2026 12 25));
(* RG 72-73: Christmas Time runs to 13 January INCLUSIVE -- the deliberate
divergence from lectio, which starts time-after-epiphany at 6 January. *)
Alcotest.(check string) "6 Jan 2026" "christmastide" (season_str (d 2026 1 6));
Alcotest.(check string) "13 Jan 2026" "christmastide" (season_str (d 2026 1 13));
Alcotest.(check string) "14 Jan 2026" "time-after-epiphany" (season_str (d 2026 1 14));
Alcotest.(check string) "Septuagesima 1 Feb 2026" "septuagesima" (season_str (d 2026 2 1));
Alcotest.(check string) "Ash Wed 18 Feb 2026" "lent" (season_str (d 2026 2 18));
Alcotest.(check string) "Passion Sun 22 Mar 2026" "passiontide" (season_str (d 2026 3 22));
(* Holy Saturday stays in Passiontide: the Vigil is a night Mass (spec §4.2). *)
Alcotest.(check string) "Holy Sat 4 Apr 2026" "passiontide" (season_str (d 2026 4 4));
Alcotest.(check string) "Easter 5 Apr 2026" "paschaltide" (season_str (d 2026 4 5));
Alcotest.(check string) "Sat after Pentecost 30 May 2026" "paschaltide" (season_str (d 2026 5 30));
Alcotest.(check string) "Trinity 31 May 2026" "time-after-pentecost" (season_str (d 2026 5 31))
let suite_extra_seasons =
[ Alcotest.test_case "advent start" `Quick test_advent_start;
Alcotest.test_case "seasons" `Quick test_seasons ]
let suite =
( "Rite_ef",
[ Alcotest.test_case "vocab roundtrips" `Quick test_vocab_roundtrips;
Alcotest.test_case "slug words" `Quick test_slug_words ]
@ suite_extra_seasons )
|
