diff options
Diffstat (limited to 'examples/boundedrecursion.pcdt')
| -rw-r--r-- | examples/boundedrecursion.pcdt | 16 |
1 files changed, 9 insertions, 7 deletions
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); |