From a3af974ab4e079f9000c4c34cd5ff468986ca609 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 28 Feb 2023 22:16:22 -0800 Subject: changed syntax to be a little more normal --- examples/boundedrecursion.pcdt | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) (limited to 'examples/boundedrecursion.pcdt') diff --git a/examples/boundedrecursion.pcdt b/examples/boundedrecursion.pcdt index 3187960..12981da 100644 --- a/examples/boundedrecursion.pcdt +++ b/examples/boundedrecursion.pcdt @@ -1,9 +1,11 @@ -store(1000; maxSize;) +store(1000, "maxSize"); store( ref(( - print(arg0()) - if(not(eq(arg0() maxSize())) incFunc(sum(1; arg0()))) - )) - incFunc; -) -incFunc(0;) + print(arg0); + if(not(eq(arg0, maxSize)) + incFunc(sum(1, arg0)); + ) + )); + "incFunc"; +); +incFunc(0); -- cgit v1.3.1