aboutsummaryrefslogtreecommitdiff
path: root/example/example2.imp
diff options
context:
space:
mode:
authorFlavian Kaufmann <flavian@flaviankaufmann.ch>2025-05-21 09:31:49 +0200
committerFlavian Kaufmann <flavian@flaviankaufmann.ch>2025-05-21 09:31:49 +0200
commit442eba08dba74c3254a8d089ca1961147e59972b (patch)
tree9723190187eac5d541bf01a357950d73e31d54c1 /example/example2.imp
parentdb4ae8a3540b8307b695e6626ec95d91cad0582a (diff)
downloadimp-442eba08dba74c3254a8d089ca1961147e59972b.tar.gz
imp-442eba08dba74c3254a8d089ca1961147e59972b.zip
syntactic sugar
Diffstat (limited to 'example/example2.imp')
-rw-r--r--example/example2.imp7
1 files changed, 7 insertions, 0 deletions
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