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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0144-1.txt

--- ai12s/ai12-0144-1.txt	2014/12/05 05:58:39	1.1
+++ ai12s/ai12-0144-1.txt	2015/02/27 01:20:19	1.2
@@ -1,6 +1,7 @@
-!standard A.5.2(20)                          14-12-04   AI12-0144-1/01
+!standard A.5.2(20)                          15-02-26   AI12-0144-1/02
 !standard A.5.2(32)
 !class Amendment 14-12-04
+!status Promising (10-0-0) 15-02-26
 !status work item 14-12-04
 !status received 14-11-06
 !priority Low
@@ -9,7 +10,7 @@
 
 !summary
 
-Add an more general function Random to Discrete_Random.
+Add a more general function Random to Discrete_Random.
 
 !problem
 
@@ -58,11 +59,17 @@
 current state, according to an implementation-defined algorithm. The result
 of the function in an instantiation of Numerics.Discrete_Random is within the
 range First .. Last, and is delivered as a value of the generic formal subtype
-Result_Subtype. 
+Result_Subtype. If the range First .. Last is a null range, Constraint_Error
+is raised.
 
+[Editor's note: During the ARG phone meeting of February 26, 2015, it was
+suggested that the null range case raise Program_Error. However,
+Constraint_Error is the existing exception for that (A.5.2.(39)), so we
+used that here.]
+
 !discussion
 
-The author ran into this problem with a hobby solitare program. It was
+The author ran into this problem with a hobby solitaire program. It was
 necessary to use a reproducible generator (thus using a single generator
 created using Reset with an Initiator parameter). The algorithm for dealing
 cards is to create an array containing all of the cards, then select one from

Questions? Ask the ACAA Technical Agent