diff options
author | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-21 09:31:49 +0200 |
---|---|---|
committer | Flavian Kaufmann <flavian@flaviankaufmann.ch> | 2025-05-21 09:31:49 +0200 |
commit | 442eba08dba74c3254a8d089ca1961147e59972b (patch) | |
tree | 9723190187eac5d541bf01a357950d73e31d54c1 /example/example.imp | |
parent | db4ae8a3540b8307b695e6626ec95d91cad0582a (diff) | |
download | imp-442eba08dba74c3254a8d089ca1961147e59972b.tar.gz imp-442eba08dba74c3254a8d089ca1961147e59972b.zip |
syntactic sugar
Diffstat (limited to 'example/example.imp')
-rw-r--r-- | example/example.imp | 16 |
1 files changed, 11 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 |