M2compiler-V1/tests/t_mptr.mod

MODULE TMPtr;
MODULE M EXPORT PNode;
TYPE Node = RECORD val : INTEGER; next : POINTER TO Node END;
TYPE PNode = POINTER TO Node;
END M;
VAR p : M.PNode; ExitCode : INTEGER;
BEGIN
  NEW(p);
  p^.val := 7;
  ExitCode := p^.val
END TMPtr.