CVS difference for ai12s/ai12-0144-1.txt
--- ai12s/ai12-0144-1.txt 2016/01/07 05:02:54 1.6
+++ ai12s/ai12-0144-1.txt 2016/01/07 05:35:08 1.7
@@ -54,13 +54,22 @@
Modify A.5.2(32):
+ Obtains the “next” random number from the given generator, relative to its
+ current state, according to an implementation-defined algorithm.[ The result
+ of the function in Numerics.Float_Random is delivered as a value of the
+ subtype Uniformly_Distributed, which is a subtype of the predefined type
+ Float having a range of 0.0 .. 1.0. The result of the function in an
+ instantiation of Numerics.Discrete_Random is delivered as a value of the
+ generic formal subtype Result_Subtype.]
+
[Editor's note: We delete the last two paragraphs here as all they say is
- that the function result is in the result subtype, which goes without saying.
- The actual description of the result is in the Implementation Requirements
- follow later; the existing text promises to give that without doing so.
- We remove this text now so that we don't have to give similar text in the
- description of the new subprogram, where it would be substantially
- more complicated.]
+ that the function result is in the result subtype, which is always true for
+ a function (in the absence of exceptions or erroneous execution, both of
+ which have to be explicitly stated). The actual description of the result
+ is in the Implementation Requirements that follow later; the existing text
+ promises to give that without doing so. We remove this text now so that we
+ don't have to give similar text in the description of the new subprogram,
+ where it would be substantially more complicated.]
Add after A.5.2(32):
Questions? Ask the ACAA Technical Agent