Add tests for FPROD.

python-processing-unit · python-processing-unit · commit 08b9618aa601 · 2026-04-17T00:36:33.000-04:00
diff --git a/tests/cases/failing/fprod-arity-zero.pre b/tests/cases/failing/fprod-arity-zero.pre
@@ -0,0 +1 @@
+FPROD()
diff --git a/tests/cases/failing/fprod-bool.pre b/tests/cases/failing/fprod-bool.pre
@@ -0,0 +1 @@
+FPROD(TRUE, 0d1)
diff --git a/tests/cases/failing/fprod-str.pre b/tests/cases/failing/fprod-str.pre
@@ -0,0 +1 @@
+FPROD("1.0", 0d1)
diff --git a/tests/cases/passing/fprod-base.pre b/tests/cases/passing/fprod-base.pre
@@ -0,0 +1,5 @@
+! FPROD result uses the highest numeric base present among operands
+FLT: result = FPROD(0d2, 0x3.0)
+
+ASSERT(EQ(result, 0x6.0))
+ASSERT(EQ(BASE(result), 0d16))
diff --git a/tests/cases/passing/fprod-inf.pre b/tests/cases/passing/fprod-inf.pre
@@ -0,0 +1,3 @@
+! FPROD preserves INF under float arithmetic
+FLT: result = FPROD(INF, 0d2.0)
+ASSERT(EQ(result, INF))
diff --git a/tests/cases/passing/fprod-mixed.pre b/tests/cases/passing/fprod-mixed.pre
@@ -0,0 +1,3 @@
+! FPROD coerces mixed numeric inputs to FLT before multiplying
+FLT: result = FPROD(0d2, 0d3.5, 0d4)
+ASSERT(EQ(result, 0d28.0))
diff --git a/tests/cases/passing/fprod-single-int.pre b/tests/cases/passing/fprod-single-int.pre
@@ -0,0 +1,3 @@
+! FPROD coerces a single INT argument to FLT
+FLT: result = FPROD(0d3)
+ASSERT(EQ(result, 0d3.0))

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+! FPROD preserves INF under float arithmetic`
	`2`	`+FLT: result = FPROD(INF, 0d2.0)`
	`3`	`+ASSERT(EQ(result, INF))`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+! FPROD coerces mixed numeric inputs to FLT before multiplying`
	`2`	`+FLT: result = FPROD(0d2, 0d3.5, 0d4)`
	`3`	`+ASSERT(EQ(result, 0d28.0))`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+! FPROD coerces a single INT argument to FLT`
	`2`	`+FLT: result = FPROD(0d3)`
	`3`	`+ASSERT(EQ(result, 0d3.0))`