index 2c2966752c60839008da78f4ce6eec82f9154e3a..6b6d335760a57a4fd9e5ca68af3c95b849c96d38 100644 (file)
--- a/test.c
+++ b/test.c
static const char source[] =
"MODULE Test;"
static const char source[] =
"MODULE Test;"
+ "TYPE"
+ " Callback = PROCEDURE() : INTEGER;"
+ ""
"VAR"
"VAR"
+ " cb : Callback;"
" i : INTEGER;"
" i : INTEGER;"
- " j : INTEGER;"
""
""
- "PROCEDURE Tier(VAR x : INTEGER);"
- "BEGIN;"
- " x := i;"
- "END Tier;"
+ "PROCEDURE RelBack;"
+ "BEGIN"
+ " i := 666;"
+ "END RelBack;"
""
"BEGIN;"
""
"BEGIN;"
- " i := 666;"
- " Tier(j);"
+ " i := ABS(-1);"
+ " i := cb();"
+ " RelBack;"
"END Test."
;
"END Test."
;