Re: Possible Bug Printing the Max of SYSTEM.REAL64

[Gaius Mulley]

>> Am 16.03.25 um 07:19 schrieb Derek Wyss:
>>> Hello,
>>>
>>> I was playing around to see how the SYSTEM floating point types
>>> matched up with the regular floating point types (instead of looking
>>> at the docs like maybe a sane person would do).
>>>
>>> Here is my source:
>>>
>>> MODULE num_experiment;
>>>    IMPORT FpuIO;
>>>    IMPORT NumberIO;
>>>    IMPORT StrIO;
>>>    IMPORT SYSTEM;
>>>
>>>    VAR a: REAL;
>>>    VAR b: SYSTEM.REAL64;
>>>
>>> BEGIN
>>>    StrIO.WriteString("REAL: ");
>>>    FpuIO.WriteReal(MAX(REAL), 200, 30);
>>>    StrIO.WriteLn;
>>>
>>>    StrIO.WriteString("LONGREAL: ");
>>>    FpuIO.WriteLongReal(MAX(LONGREAL), 200, 30);
>>>    StrIO.WriteLn;
>>> (*
>>>    StrIO.WriteString("SYSTEM.REAL64: ");
>>>    FpuIO.WriteReal(MAX(SYSTEM.REAL64), 200, 30);
>>>    StrIO.WriteLn;
>>> *)
>>>
>>>    StrIO.WriteString("SYSTEM.REAL64: ");
>>>    FpuIO.WriteLongReal(MAX(SYSTEM.REAL64), 200, 30);
>>>    StrIO.WriteLn;
>>>
>>> END num_experiment.

All fixed now,

many thanks both for the bug report and diagnosis,

regards,
Gaius