🚀 go-pugleaf

First of all, let me thank to Regis Crelier and Erwin Ewald Oertli
for resolving my misunderstanding.  Neither is it a bug, nor has it
to do with open arrays.  To put it into a nutshell, the procedure
P2 below is correct, while P1 is not.  This is the case although they
seem (at the first glance) to be equivalent.  Within the
WITH-statement in the procedure P1, P1 is declared as

	P1(t:TP,u:T)

and not as

	P1(t,u:T).

Thank You again,
	Ulrich




MODULE StatementWITHagain;
TYPE
	T = POINTER TO TX;
	TX = RECORD END;
	TP = POINTER TO TPX;
	TPX = RECORD(TX) END;

PROCEDURE ^P1(t,u:T);

PROCEDURE P2(t,u:T);
BEGIN
	WITH t: TP DO P1(u,NIL) END (*  this is correct *)
END P2;

PROCEDURE P1(t,u:T);
BEGIN
	WITH t: TP DO P1(u, (* error: incompatible assignment *) NIL ) END
END P1;
END StatementWITHagain.
-- 
Ulrich Neumerkel, ulrich@dec4.wu-wien.ac.at ulrich@mips.complang.tuwien.ac.at
TU-Wien, Vienna University of Technology, +431 58801 4477 fax +431 5057838
Institut fuer Computersprachen E185/1 Argentinierstr.8/4, A-1040 Wien Austria