CVS difference for ai12s/ai12-0144-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file 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