Add tests for MATCH.

python-processing-unit · python-processing-unit · commit 90905605271c · 2026-04-07T08:18:39.000-04:00
diff --git a/tests/cases/failing/match-arity-one.pre b/tests/cases/failing/match-arity-one.pre
@@ -0,0 +1 @@
+MATCH(<>)
diff --git a/tests/cases/failing/match-arity-six.pre b/tests/cases/failing/match-arity-six.pre
@@ -0,0 +1 @@
+MATCH(<>, <>, 0d1, 0d1, 0d1, 0d1)
diff --git a/tests/cases/failing/match-arity-zero.pre b/tests/cases/failing/match-arity-zero.pre
@@ -0,0 +1 @@
+MATCH()
diff --git a/tests/cases/failing/match-first-bool.pre b/tests/cases/failing/match-first-bool.pre
@@ -0,0 +1 @@
+MATCH(TRUE, <>)
diff --git a/tests/cases/failing/match-first-flt.pre b/tests/cases/failing/match-first-flt.pre
@@ -0,0 +1 @@
+MATCH(0d1.5, <>)
diff --git a/tests/cases/failing/match-first-func.pre b/tests/cases/failing/match-first-func.pre
@@ -0,0 +1 @@
+MATCH(LAMBDA INT: (){}, <>)
diff --git a/tests/cases/failing/match-first-int.pre b/tests/cases/failing/match-first-int.pre
@@ -0,0 +1 @@
+MATCH(0d1, <>)
diff --git a/tests/cases/failing/match-first-str.pre b/tests/cases/failing/match-first-str.pre
@@ -0,0 +1 @@
+MATCH("map", <>)
diff --git a/tests/cases/failing/match-first-thr.pre b/tests/cases/failing/match-first-thr.pre
@@ -0,0 +1 @@
+MATCH(ASYNC{}, <>)
diff --git a/tests/cases/failing/match-first-tns.pre b/tests/cases/failing/match-first-tns.pre
@@ -0,0 +1 @@
+MATCH([0d1], <>)
diff --git a/tests/cases/failing/match-recurse-not-int.pre b/tests/cases/failing/match-recurse-not-int.pre
@@ -0,0 +1 @@
+MATCH(<>, <>, recurse = "1")
diff --git a/tests/cases/failing/match-second-bool.pre b/tests/cases/failing/match-second-bool.pre
@@ -0,0 +1 @@
+MATCH(<>, TRUE)
diff --git a/tests/cases/failing/match-second-flt.pre b/tests/cases/failing/match-second-flt.pre
@@ -0,0 +1 @@
+MATCH(<>, 0d1.5)
diff --git a/tests/cases/failing/match-second-func.pre b/tests/cases/failing/match-second-func.pre
@@ -0,0 +1 @@
+MATCH(<>, LAMBDA INT: (){})
diff --git a/tests/cases/failing/match-second-int.pre b/tests/cases/failing/match-second-int.pre
@@ -0,0 +1 @@
+MATCH(<>, 0d1)
diff --git a/tests/cases/failing/match-second-str.pre b/tests/cases/failing/match-second-str.pre
@@ -0,0 +1 @@
+MATCH(<>, "map")
diff --git a/tests/cases/failing/match-second-thr.pre b/tests/cases/failing/match-second-thr.pre
@@ -0,0 +1 @@
+MATCH(<>, ASYNC{})
diff --git a/tests/cases/failing/match-second-tns.pre b/tests/cases/failing/match-second-tns.pre
@@ -0,0 +1 @@
+MATCH(<>, [0d1])
diff --git a/tests/cases/failing/match-shape-not-int.pre b/tests/cases/failing/match-shape-not-int.pre
@@ -0,0 +1 @@
+MATCH(<>, <>, shape = "1")
diff --git a/tests/cases/failing/match-typing-not-int.pre b/tests/cases/failing/match-typing-not-int.pre
@@ -0,0 +1 @@
+MATCH(<>, <>, typing = "1")
diff --git a/tests/cases/passing/match-basic.pre b/tests/cases/passing/match-basic.pre
@@ -0,0 +1,7 @@
+MAP: candidate = <"alpha" = 0d1, "beta" = "dog">
+
+ASSERT(MATCH(candidate, <>))
+ASSERT(MATCH(candidate, <"alpha" = 0d99>))
+ASSERT(MATCH(candidate, <"alpha" = "ignored", "beta" = 0d0>))
+ASSERT(NOT(MATCH(candidate, <"gamma" = 0d0>)))
+ASSERT(EQ(TYPE(MATCH(candidate, <"alpha" = 0d0>)), "BOOL"))
diff --git a/tests/cases/passing/match-recurse.pre b/tests/cases/passing/match-recurse.pre
@@ -0,0 +1,19 @@
+MAP: missing_candidate = <"outer" = <"present" = 0d1>>
+MAP: missing_template = <"outer" = <"missing" = 0d1>>
+
+MAP: type_candidate = <"outer" = <"value" = 0d1>>
+MAP: type_template = <"outer" = <"value" = "x">>
+
+MAP: shape_candidate = <"outer" = <"tensor" = [[0d1, 0d2], [0d3, 0d4]]>>
+MAP: shape_template = <"outer" = <"tensor" = [0d9, 0d8, 0d7, 0d6]>>
+
+ASSERT(MATCH(missing_candidate, missing_template))
+ASSERT(NOT(MATCH(missing_candidate, missing_template, recurse = 0d1)))
+
+ASSERT(MATCH(type_candidate, type_template, typing = 0d1))
+ASSERT(MATCH(type_candidate, type_template, recurse = 0d1))
+ASSERT(NOT(MATCH(type_candidate, type_template, typing = 0d1, recurse = -0d1)))
+
+ASSERT(MATCH(shape_candidate, shape_template, shape = 0d1))
+ASSERT(MATCH(shape_candidate, shape_template, recurse = 0d1))
+ASSERT(NOT(MATCH(shape_candidate, shape_template, shape = 0d1, recurse = 0d1)))
diff --git a/tests/cases/passing/match-shape.pre b/tests/cases/passing/match-shape.pre
@@ -0,0 +1,6 @@
+MAP: candidate = <"tensor" = [[0d1, 0d2], [0d3, 0d4]], "scalar" = 0d1>
+
+ASSERT(MATCH(candidate, <"tensor" = [0d9, 0d8, 0d7, 0d6]>))
+ASSERT(MATCH(candidate, <"tensor" = [[0d9, 0d8], [0d7, 0d6]]>, shape = 0d1))
+ASSERT(NOT(MATCH(candidate, <"tensor" = [0d9, 0d8, 0d7, 0d6]>, shape = -0d1)))
+ASSERT(MATCH(candidate, <"scalar" = "different type">, shape = 0d1))
diff --git a/tests/cases/passing/match-typing.pre b/tests/cases/passing/match-typing.pre
@@ -0,0 +1,6 @@
+MAP: candidate = <"value" = 0d1, "other" = "text">
+
+ASSERT(MATCH(candidate, <"value" = "1">))
+ASSERT(MATCH(candidate, <"value" = 0d99>, typing = 0d1))
+ASSERT(MATCH(candidate, <"other" = "different">, typing = 0d7))
+ASSERT(NOT(MATCH(candidate, <"value" = "1">, typing = -0d1)))
