Re: Questions about behavior observed in gm2 [Funcation procedure calls]

[john o goyo]

Correcting two mistakes in my previous message:

On 2023-12-04 18:12, john o goyo wrote:
> On 2023-12-04 03:33, Gaius Mulley wrote (in part):
> > Jack Perry <devotus@yahoo.com> writes(in part):
> [...]
> > > 3. If you neglect the parentheses on a function procedure that takes 
> > > no parameters, gm2 treats it as if you want the address(?). Thus, 
> > > the following line gives an unexpected answer:
> > >
> > >        InOut.WriteInt(Part1, 0); (* needs to be Part1() *)
> > Interesting - and thanks for the bug report - I'll investigate the above
> > two issues
>
> Why is this a bug?  I looked at ISO 1054-1 but being conversant with 
> the VDM used, I came away no wiser. However, the Lilith source has 
> hundreds of invocations of function procedures with trailing empty 
> parentheses.

ISO 1054-1 should be ISO/IEC 10514-1; "but being conversant" should be 
"but not being conversant".

> Sincerely,
> john