diff options
| author | Christophe Troestler <christophe.Troestler@umons.ac.be> | 2020-05-12 15:35:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-12 15:35:04 +0200 |
| commit | c920ea142b9f9cc0c0eaca6903f0e782da1036d1 (patch) | |
| tree | 0adc529713afef610ec309dd7e80c76a9d28c88d /stdlib/stdlib.mli | |
| parent | c86a5d8d1110b608d359b8887405a291551fa6ae (diff) | |
| download | ocaml-c920ea142b9f9cc0c0eaca6903f0e782da1036d1.tar.gz | |
Fix comment about NaN propagation (#9536)
Fix documentation comment about NaN propagation
Closes: #7891
Co-authored-by: David Allsopp <david.allsopp@metastack.com>
Diffstat (limited to 'stdlib/stdlib.mli')
| -rw-r--r-- | stdlib/stdlib.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli index 737e37d91e..94d2b4ca3c 100644 --- a/stdlib/stdlib.mli +++ b/stdlib/stdlib.mli @@ -436,8 +436,8 @@ external ( asr ) : int -> int -> int = "%asrint" [neg_infinity] for [-1.0 /. 0.0], and [nan] ('not a number') for [0.0 /. 0.0]. These special numbers then propagate through floating-point computations as expected: for instance, - [1.0 /. infinity] is [0.0], and any arithmetic operation with [nan] - as argument returns [nan] as result. + [1.0 /. infinity] is [0.0], basic arithmetic operations + ([+.], [-.], [*.], [/.]) with [nan] as an argument return [nan], ... *) external ( ~-. ) : float -> float = "%negfloat" |