From 1297835bdac8108cb34718af37be508cedbd9810 Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Tue, 10 Jan 2023 00:07:49 +0100 Subject: [PATCH] Make `tests/when_merge.node` clearer by using `real`s --- tests/when_merge.node | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/tests/when_merge.node b/tests/when_merge.node index c93cde0..0ed572f 100644 --- a/tests/when_merge.node +++ b/tests/when_merge.node @@ -1,14 +1,13 @@ -node test (i: int) returns (o: int); -var x, y: int; +node test (i: real) returns (o: real); +var x, y: real; let - x = (1 / i) when (i <> 0); - y = 0 when (not (i <> 0)); - o = merge (i <> 0) x y; + x = (1.0 / i) when (i <> 0.0); + y = 0.0 when (not (i <> 0.0)); + o = merge (i <> 0.0) x y; tel -node main (i: int) returns (o: int); -var garbage: int; +node main (i: real) returns (o: real); let - garbage = test(0); - o = test(1); + -- The idea is to pass `0.0` as the input to acknowledge that the division by zero isn't computed. + o = test(i); tel