<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>if that's true that you say "relies " Init hence the MODULE is wrong (is not) to specify that.<br>But record rules hasn't anything to do here.<br>But anyway you may have a point in that record initialization are less important than record construction (c.f p.53, s2.6.8, SPwM3), and that in the array case, it might be that it is stronger the array initialization (as a declared variable) than array construction but are decided in two different cases for WITH expression, with 'a' as an a TEXT WITH non-initialization but WITH p as a READONLY array-valued expression which doesn't do what you say it needs, so you found a bug known by Jay of "incorrect" un-initialized values in m3cg, or m3cc or m3gcc or m3cgc.<br>In that case you might need an array of uninitialized expressions else construct the value correctly before entering the inner WITH.<br>Thanks in
 advance<br><br><br><br>--- El <b>vie, 6/7/12, Dirk Muysers <i><dmuysers@hotmail.com></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Dirk Muysers <dmuysers@hotmail.com><br>Asunto: [M3devel] A question for our language lawyers<br>Para: m3devel@elegosoft.com<br>Fecha: viernes, 6 de julio, 2012 04:23<br><br><div id="yiv999223908">

 
<div>
<div><font face="Arial">The report says (2.6.9)</font></div>
<div><font face="Arial">"The values in the array will be arbitrary values of their 
type."</font></div>
<div><font face="Arial"></font> </div>
<div><font face="Arial">Now,  ParseParams in its "init" method allocates an 
array of BOOLEANs</font></div>
<div><font face="Arial">and relies on the fact that it is 
supposedly initialised with FALSE values.</font></div>
<div><font face="Arial"></font> </div>
<div><font face="Arial">At the other hand the report says (2.2.4)</font></div>
<div><font face="Arial">"The constant <code>default</code> is a default value used 
when a record is constructed or allocated"</font></div>
<div><font face="Arial"></font> </div>
<div><font face="Arial">If I allocate an array of records, which statement is 
stronger:</font></div>
<div><font face="Arial">- the array contains arbitray record values ?</font></div>
<div><font face="Arial">- the array record fields will be initialised to their 
default values?</font></div>
<div><font face="Arial"></font> </div>
<div><font face="Arial">The ParseParams "init" method is obviously erroneous and 
works only</font></div>
<div><font face="Arial">by virtue of a happy combination of 
circumstances.</font></div>
<div><font face="Arial">But how is the report to be interpreted in the second 
case?</font></div>
<div><font face="Arial"></font> </div></div></div></blockquote></td></tr></table>