[Oberon] Bug? procedure variable in procedure call parameter

[volkert at nivoba.de]

Any news here regarding the FP problems? The latest "RISC.img" is from 
28.03.2014.

BW,
Volkert

Am 01.04.2014 06:53, schrieb Volkert Barr:
> With the latest Image (from 28.03.2014 timestamp) the whole system crashes. But as i understand
> your reply, it is a bug.
>
> BW,
> Volkert
>
> On 31.03.2014, at 20:22, Peter De Wachter <pdewacht at gmail.com> wrote:
>
>> There were serious bugs with floating point code in the image and in the
>> emulator. That's probably the cause of your problem. Paul Reed published
>> a fixed image last Friday and the emulator bugs are fixed in the current
>> revision.
>>
>> On 31-03-14 19:17, Volkert Barr wrote:
>>> Dear all,
>>>
>>> i have a "problem" with the evaluation of a "procedure variable" used as parameter in a procedure call.
>>>
>>> this case leads to a ABORT or TRAP in Line 1. Procedure variable is FunId.
>>>
>>> BEGIN
>>> (*1*) Texts.WriteRealFix(W, FunId(1.0), 5,3);
>>>   ...
>>> END...
>>>
>>> this case with the dummy assigment to "Test" gives the correct output
>>> BEGIN
>>>   Test := FunId(1.0);	
>>>   Texts.WriteRealFix(W, FunId(1.0), 5,3);
>>>   ...
>>> END...
>>>
>>> The complete code can be found in the appended Module
>>>
>>> Bug or Feature??
>>>
>>> I use the Oberon-Image (RISC.IMG) from Paul Reed´s "Project Oberon"-Website with the nice "Oberon RISC Emulator" from Peter De Wachter (thanks for it).
>>>
>>> BW,
>>> Volkert
>>> ----
>>>
>>> MODULE Scratch;
>>> IMPORT Texts, Oberon;
>>>
>>>     TYPE Function = PROCEDURE (x:REAL) : REAL;
>>>
>>>     VAR W: Texts.Writer;
>>> 	FunId : Function;
>>>
>>>     PROCEDURE RealId(x:REAL):REAL;
>>>     BEGIN
>>>         RETURN x
>>>     END RealId;
>>>
>>>
>>>     PROCEDURE DoIt*;
>>>     VAR
>>> 	Test : REAL;
>>>     BEGIN
>>> 	Test := FunId(1.0);			
>>> 	Texts.WriteRealFix(W, FunId(1.0), 5,3);
>>> 	Texts.WriteRealFix(W, RealId(1.0), 5,3);
>>> 	Texts.WriteLn(W);
>>> 	Texts.Append(Oberon.Log, W.buf)
>>>     END DoIt;
>>>
>>> BEGIN Texts.OpenWriter(W);
>>>       FunId := RealId;
>>> END Scratch.
>>>
>>>
>>>
>>> --
>>> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related systems
>>> https://lists.inf.ethz.ch/mailman/listinfo/oberon
>>
>> --
>> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related systems
>> https://lists.inf.ethz.ch/mailman/listinfo/oberon
> --
> Volkert Barr
> www.nivoba.de
>
> "The more complex an object, the larger the investment in learning to use it, and the greater the resistance to abandon it."
>
>
> --
> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related systems
> https://lists.inf.ethz.ch/mailman/listinfo/oberon