MODULE testwithptr2 ;

TYPE
   PtrToVec =  POINTER TO Vec ;
   Vec = RECORD
            x, y: CARDINAL ;
         END ;


(*
   test -
*)

PROCEDURE test ;
VAR
   p: PtrToVec ;
BEGIN
   WITH p^ DO
      x := 1 ;
      x := 2   (* deliberate typo - should be y  *)
   END ;
   IF p^.y = 2
   THEN
   END
END test ;


BEGIN
   test
END testwithptr2.