summaryrefslogtreecommitdiff
path: root/stdlib/stdlib.mli
diff options
context:
space:
mode:
authorChristophe Troestler <christophe.Troestler@umons.ac.be>2020-05-12 15:35:04 +0200
committerGitHub <noreply@github.com>2020-05-12 15:35:04 +0200
commitc920ea142b9f9cc0c0eaca6903f0e782da1036d1 (patch)
tree0adc529713afef610ec309dd7e80c76a9d28c88d /stdlib/stdlib.mli
parentc86a5d8d1110b608d359b8887405a291551fa6ae (diff)
downloadocaml-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.mli4
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"