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