diff options
Diffstat (limited to 'test-suite/output/FloatExtraction.out')
| -rw-r--r-- | test-suite/output/FloatExtraction.out | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/test-suite/output/FloatExtraction.out b/test-suite/output/FloatExtraction.out index dd8189c56f..539ec9b2bf 100644 --- a/test-suite/output/FloatExtraction.out +++ b/test-suite/output/FloatExtraction.out @@ -1,16 +1,18 @@ File "stdin", line 25, characters 8-12: Warning: The constant 0.01 is not a binary64 floating-point value. A closest -value will be used and unambiguously printed 0.01. [inexact-float,parsing] +value 0x1.47ae147ae147bp-7 will be used and unambiguously printed 0.01. +[inexact-float,parsing] File "stdin", line 25, characters 20-25: Warning: The constant -0.01 is not a binary64 floating-point value. A closest -value will be used and unambiguously printed -0.01. [inexact-float,parsing] +value -0x1.47ae147ae147bp-7 will be used and unambiguously printed -0.01. +[inexact-float,parsing] File "stdin", line 25, characters 27-35: Warning: The constant 1.7e+308 is not a binary64 floating-point value. A -closest value will be used and unambiguously printed 1.6999999999999999e+308. -[inexact-float,parsing] +closest value 0x1.e42d130773b76p+1023 will be used and unambiguously printed +1.6999999999999999e+308. [inexact-float,parsing] File "stdin", line 25, characters 37-46: Warning: The constant -1.7e-308 is not a binary64 floating-point value. A -closest value will be used and unambiguously printed +closest value -0x0.c396c98f8d899p-1022 will be used and unambiguously printed -1.7000000000000002e-308. [inexact-float,parsing] (** val infinity : Float64.t **) |