f1b175cf476d22f404de648888f0d39e45c9de81
4 #include <string.h>
5 #include <assert.h>
8 "(* Main module *)"
9 "MODULE Test;"
10 "IMPORT I := Imported;"
11 "VAR"
12 " x, y : I.Rider;"
13 "PROCEDURE Proc(x, y, z : INTEGER);"
14 "BEGIN"
15 " x := 1;"
16 "END Proc;"
17 "BEGIN;"
18 " y.i := 1;"
19 " I.a[0] := 1;"
20 "END Test."
21 ;
24 "MODULE Imported;"
25 "TYPE"
26 " Rider* = RECORD i*, j-, k : INTEGER; END;"
27 "VAR"
28 " i- : INTEGER;"
29 " a* : ARRAY 3 OF INTEGER;"
30 ""
31 "PROCEDURE Ln*;"
32 "END Ln;"
33 ""
34 "BEGIN;"
35 " i := 1;"
36 " a[0] := 555;"
37 "END Imported."
38 ;
45 {
47 {
49 }
51 {
53 }
54 else
55 {
57 }
58 }
60 int
62 {
69 }