HEL/TB-Docs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fix(report): consistent caption casing

Browse Source
This commit is contained in:
HEL
2026-07-23 18:31:37 +02:00
parent 8d51bfaff2
commit 49ae884b09
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
report/appendices/midas_typer_skeleton.typ
+1 -1
View File
@@ -9,5 +9,5 @@
#figure( #figure(
code(midas-typer-members-code), code(midas-typer-members-code),
caption: [Midas Typer Members] caption: [Midas typer members]
) <fig:midas-typer-members> ) <fig:midas-typer-members>
report/chapters/04_implementation/02_types.typ
+1 -1
View File
@@ -141,7 +141,7 @@ Although not types, predicates will also be represented by similar dataclasses i
body: m.Expr body: m.Expr
alias: bool alias: bool
```, ```,
caption: [Predicate Dataclass] caption: [Predicate dataclass]
) <fig:types-predicate> ) <fig:types-predicate>
This class holds three properties of predicates: This class holds three properties of predicates:
report/chapters/04_implementation/03_registry.typ
+1 -1
View File
@@ -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_member(self, type: Type, member_name: str) -> Optional[Type]: ...
def lookup_predicate(self, name: str) -> Optional[Predicate]: ... def lookup_predicate(self, name: str) -> Optional[Predicate]: ...
```, ```,
caption: [Minimal Registry Contract] caption: [Minimal registry contract]
) <fig:registry-contract> ) <fig: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(<types-registry>, "midas/checker/registry.py") 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(<types-registry>, "midas/checker/registry.py")