aboutsummaryrefslogtreecommitdiff
path: root/test/test_mass_formulary.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/test_mass_formulary.ml')
-rw-r--r--test/test_mass_formulary.ml41
1 files changed, 41 insertions, 0 deletions
diff --git a/test/test_mass_formulary.ml b/test/test_mass_formulary.ml
new file mode 100644
index 0000000..1316e47
--- /dev/null
+++ b/test/test_mass_formulary.ml
@@ -0,0 +1,41 @@
+module MF = Colitur_kernel.Mass_formulary
+module Slug = Colitur_kernel.Slug
+
+let slug s = Slug.of_string_exn s
+
+let test_round_trips_through_sexp () =
+ let f = { MF.said = Some (slug "ef-time-after-pentecost-sunday-9"); via = MF.Preceding_sunday } in
+ let f' = MF.t_of_sexp (MF.sexp_of_t f) in
+ Alcotest.(check (option string)) "slug survives"
+ (Option.map Slug.to_string f.MF.said) (Option.map Slug.to_string f'.MF.said);
+ Alcotest.(check bool) "source survives" true (f.MF.via = f'.MF.via)
+
+(* [said] is [None] exactly for {!MF.Votive} -- see the .mli's own citation.
+ Round-tripped separately so the [None] case has its own witness, not only
+ inferred from the [Some] case above. *)
+let test_none_said_round_trips_through_sexp () =
+ let f = { MF.said = None; via = MF.Votive } in
+ let f' = MF.t_of_sexp (MF.sexp_of_t f) in
+ Alcotest.(check bool) "said stays None" true (f'.MF.said = None);
+ Alcotest.(check bool) "source survives" true (f.MF.via = f'.MF.via)
+
+(* [to_string] is what an ordo line shows. It names the SOURCE, not the slug,
+ because the slug is a key and the reader wants "of the preceding Sunday". *)
+let test_to_string_names_the_source () =
+ let cases =
+ [ (MF.Proper, "proper"); (MF.Own_slug, "own"); (MF.Preceding_sunday, "preceding-sunday");
+ (MF.Common, "common"); (MF.Votive, "votive") ]
+ in
+ List.iter
+ (fun (via, expected) ->
+ Alcotest.(check string) expected expected
+ (MF.source_to_string via))
+ cases
+
+let suite =
+ ( "Mass_formulary",
+ [ Alcotest.test_case "sexp round-trips" `Quick test_round_trips_through_sexp;
+ Alcotest.test_case "sexp round-trips, said = None (Votive)" `Quick
+ test_none_said_round_trips_through_sexp;
+ Alcotest.test_case "source_to_string names each source" `Quick
+ test_to_string_names_the_source ] )