1(* 2 * Test of dealing with an opaque type that is never defined. 3 *) 4 5module main; 6 7from imptypes import RT; 8from io import Writef, output; 9 10type 11 T = record 12 a : integer; 13 b : RT; 14 c : integer; 15 end; 16 17var r : T; 18 19begin 20 r.a := 3; 21 r.c := 4; 22 Writef(output, "this is a test\n"); 23end main. 24