From 49ae884b0923c6e03c2687bca6e0353053396072 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Thu, 23 Jul 2026 18:31:37 +0200 Subject: [PATCH] fix(report): consistent caption casing --- report/appendices/midas_typer_skeleton.typ | 2 +- report/chapters/04_implementation/02_types.typ | 2 +- report/chapters/04_implementation/03_registry.typ | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/report/appendices/midas_typer_skeleton.typ b/report/appendices/midas_typer_skeleton.typ index a3fba24..9d25abe 100644 --- a/report/appendices/midas_typer_skeleton.typ +++ b/report/appendices/midas_typer_skeleton.typ @@ -9,5 +9,5 @@ #figure( code(midas-typer-members-code), - caption: [Midas Typer Members] + caption: [Midas typer members] ) \ No newline at end of file diff --git a/report/chapters/04_implementation/02_types.typ b/report/chapters/04_implementation/02_types.typ index a09b0d6..4f6bf4d 100644 --- a/report/chapters/04_implementation/02_types.typ +++ b/report/chapters/04_implementation/02_types.typ @@ -141,7 +141,7 @@ Although not types, predicates will also be represented by similar dataclasses i body: m.Expr alias: bool ```, - caption: [Predicate Dataclass] + caption: [Predicate dataclass] ) This class holds three properties of predicates: diff --git a/report/chapters/04_implementation/03_registry.typ b/report/chapters/04_implementation/03_registry.typ index ff7b16a..2bafaf0 100644 --- a/report/chapters/04_implementation/03_registry.typ +++ b/report/chapters/04_implementation/03_registry.typ @@ -26,7 +26,7 @@ With structures to represent our types, we now need to implement the registry wh def lookup_member(self, type: Type, member_name: str) -> Optional[Type]: ... def lookup_predicate(self, name: str) -> Optional[Predicate]: ... ```, - caption: [Minimal Registry Contract] + caption: [Minimal registry contract] ) The `define_*` and `lookup_*`/`get_*` methods are quite straightforward, inserting and querying an internal dictionary with some added safeguards and errors to prevent redefining an entity or handle undefined references. Additionally, `define_member` handles overriding methods by wrapping multiple method definitions with the same member name inside an `OverloadedFunction` type. This process is detailed in @sec:define_member hereafter. The complete implementation of `TypesRegistry` is available in the repository in #code-ref(, "midas/checker/registry.py")