diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/boolean.pcdt | 2 | ||||
| -rw-r--r-- | examples/boundedrecursion.pcdt | 2 | ||||
| -rw-r--r-- | examples/while.pcdt | 5 |
3 files changed, 7 insertions, 2 deletions
diff --git a/examples/boolean.pcdt b/examples/boolean.pcdt index de6f04f..553a602 100644 --- a/examples/boolean.pcdt +++ b/examples/boolean.pcdt @@ -9,7 +9,7 @@ if(res print("equals") ) -if(not(res) +if(none(res) print("does not equal") ) diff --git a/examples/boundedrecursion.pcdt b/examples/boundedrecursion.pcdt index 12981da..bbe4194 100644 --- a/examples/boundedrecursion.pcdt +++ b/examples/boundedrecursion.pcdt @@ -2,7 +2,7 @@ store(1000, "maxSize"); store( ref(( print(arg0); - if(not(eq(arg0, maxSize)) + if(none(eq(arg0, maxSize)) incFunc(sum(1, arg0)); ) )); diff --git a/examples/while.pcdt b/examples/while.pcdt new file mode 100644 index 0000000..7a267fc --- /dev/null +++ b/examples/while.pcdt @@ -0,0 +1,5 @@ +store(0, "i") +while(none(eq(i, 10)), ( + print(i); + update(sum(i, 1), "i") +)) |