aboutsummaryrefslogtreecommitdiff
path: root/example
diff options
context:
space:
mode:
Diffstat (limited to 'example')
-rw-r--r--example/example.imp16
-rw-r--r--example/example2.imp7
2 files changed, 18 insertions, 5 deletions
diff --git a/example/example.imp b/example/example.imp
index 9db6655..b52d2da 100644
--- a/example/example.imp
+++ b/example/example.imp
@@ -1,7 +1,13 @@
-(y := 0;
+y := 0;
+
var x := 5 in
- (while x < 10 do
- x := (x + 1)
+
+ while x < 10 and true do
+ x := (x + 1);
end;
- y := x)
-end) \ No newline at end of file
+
+ y := x;
+
+end;
+
+z := 5; \ No newline at end of file
diff --git a/example/example2.imp b/example/example2.imp
new file mode 100644
index 0000000..9db6655
--- /dev/null
+++ b/example/example2.imp
@@ -0,0 +1,7 @@
+(y := 0;
+var x := 5 in
+ (while x < 10 do
+ x := (x + 1)
+ end;
+ y := x)
+end) \ No newline at end of file