Use mlogv32 fork for better type checking

Author: object-Object

pyproject.toml

@@ -32,6 +32,7 @@ override-dependencies = [
 ]
 
 [tool.uv.sources]
+pymsch = { git = "https://github.com/object-Object/pymsch", rev = "3c413fae16" }
 riscof = { git = "https://github.com/riscv/riscof", rev = "9fe3597d75" }
 riscv-isac = { git = "https://github.com/riscv-software-src/riscv-isac", rev = "777d2b4762" }
 

python/src/mlogv32/preprocessor/app.py

@@ -147,16 +147,10 @@ def build(
         labels=worker_labels,
     )
 
-    lookups_schem = cast(
-        Schematic,
-        Schematic.read_file(str(config.schematics.lookups)),  # type: ignore
-    )
+    lookups_schem = Schematic.read_file(str(config.schematics.lookups))
     assert lookups_schem.get_dimensions() == (4, 4)
 
-    ram_schem = cast(
-        Schematic,
-        Schematic.read_file(str(config.schematics.ram)),  # type: ignore
-    )
+    ram_schem = Schematic.read_file(str(config.schematics.ram))
     assert ram_schem.get_dimensions() == (1, 1)
 
     schem = Schematic()
@@ -339,7 +333,8 @@ def lenrange(start: int, length: int, step: int = 1):
 
 
 def simple_block(block: Content | BEContent, x: int, y: int):
-    return Block(block, x, y, None, 0)
+    # lie
+    return Block(cast(Content, block), x, y, None, 0)
 
 
 def relative_links(*links: ProcessorLink, x: int, y: int):

python/src/mlogv32/scripts/ram_proc.py

@@ -397,7 +397,7 @@ def build(
     )
     schem2.write_file(str(out / "ram_proc.msch"))
 
-    w, h, *_ = schem1.get_dimensions()
+    w, h = schem1.get_dimensions()
     print(
         f"Generated {len(lookup_procs)} lookup tables ({w}x{h}) for {ram_size} variables using {min(len(BLOCK_IDS), ram_size)} block ids."
     )