Use newly allowed kind of pointers more

Akuli · Jan 14, 2025 · dbf0859 · dbf0859
1 parent 590f83a
commit dbf0859
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 10 deletions.
diff --git a/examples/aoc2023/day20/part1.jou b/examples/aoc2023/day20/part1.jou
@@ -13,11 +13,9 @@ enum ModuleKind:
 class Module:
     name: byte[15]
 
-    # TODO: use Module* instead of void*
-    # https://github.com/Akuli/jou/issues/473
-    sources: void*[10]
+    sources: Module*[10]
     nsources: int
-    destinations: void*[10]
+    destinations: Module*[10]
     ndestinations: int
 
     kind: ModuleKind

diff --git a/examples/aoc2023/day20/part2.jou b/examples/aoc2023/day20/part2.jou
@@ -13,11 +13,9 @@ enum ModuleKind:
 class Module:
     name: byte[15]
 
-    # TODO: use Module* instead of void*
-    # https://github.com/Akuli/jou/issues/473
-    sources: void*[10]
+    sources: Module*[10]
     nsources: int
-    destinations: void*[10]
+    destinations: Module*[10]
     ndestinations: int
 
     kind: ModuleKind

diff --git a/examples/aoc2024/day16/part2.jou b/examples/aoc2024/day16/part2.jou
@@ -42,7 +42,7 @@ def direction_to_0123(dir: int[2]) -> int:
 
 class StateStats:
     best_score: int
-    sources: void*[10]  # TODO: https://github.com/Akuli/jou/issues/473
+    sources: StateStats*[10]
     sources_len: int
     x: int
     y: int

diff --git a/examples/aoc2024/day23/part1.jou b/examples/aoc2024/day23/part1.jou
@@ -5,7 +5,7 @@ import "stdlib/io.jou"
 
 class Computer:
     name: byte[3]
-    connections: void*[100]  # TODO: should be Computer*[100], can't be due to compiler bug
+    connections: Computer*[100]
 
     def connect(self, other: Computer*) -> None:
         assert other != NULL