summaryrefslogtreecommitdiff
path: root/lib/kernel/mass_formulary.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/kernel/mass_formulary.mli')
-rw-r--r--lib/kernel/mass_formulary.mli16
1 files changed, 13 insertions, 3 deletions
diff --git a/lib/kernel/mass_formulary.mli b/lib/kernel/mass_formulary.mli
index caea3eb..a2faf64 100644
--- a/lib/kernel/mass_formulary.mli
+++ b/lib/kernel/mass_formulary.mli
@@ -15,12 +15,22 @@ type source =
| Own_slug (** the lectionary's entry for the day's own slug *)
| Preceding_sunday (** a weekday with no proper resumes the preceding Sunday *)
| Common (** a saint's assigned Common *)
+ | Votive
+ (** a Mass said IN PLACE of the day's own office's Mass, the office
+ itself being kept unchanged -- RG 309(a): "in Ecclesia universa,
+ Missae quae pro sancta Maria in sabbato, iuxta temporum
+ diversitatem, in Missali assignantur", corroborated by RG 431(e)'s
+ own classification of that Mass as "Missa votiva IV classis ...
+ de B. Maria Virg." The office/Mass split this constructor exists
+ to name is general (any rite may say a votive Mass on a day whose
+ OFFICE is not itself votive), even though EF's only witness today
+ is the RG 78/309(a) Saturday Mass of Our Lady. *)
[@@deriving sexp]
type t = { said : Slug.t; via : source } [@@deriving sexp]
-(** The slug whose Mass is said. For {!Proper} and {!Own_slug} this is the day's
- own; for {!Preceding_sunday} it is that Sunday's TEMPORAL slug; for
- {!Common} it is the Common's own id. *)
+(** The slug whose Mass is said. For {!Proper}, {!Own_slug} and {!Votive}
+ this is the day's own; for {!Preceding_sunday} it is that Sunday's
+ TEMPORAL slug; for {!Common} it is the Common's own id. *)
val source_to_string : source -> string