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