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

--- ai12s/ai12-0385-1.txt	2020/06/11 18:28:18	1.1
+++ ai12s/ai12-0385-1.txt	2020/06/17 00:20:22	1.2
@@ -1,20 +1,22 @@
-!standard 4.9(19)                                  20-06-10  AI12-0385-1/01
+!standard 4.9(20)                                  20-06-16  AI12-0385-1/02
 !class Amendment 20-06-10
+!status Amendment 1-2012 20-06-16
+!status ARG Approved 13-0-0  20-06-13
 !status work item 20-06-10
 !status received 20-06-09
 !priority Low
 !difficulty Easy
-!subject Predefined shifts should be static 
+!subject Predefined shifts and rotates should be static 
 !summary
 
 The predefined shifts and rotates are considered static functions.
 
 !problem
 
-The shift and rotating functions declared in package Interfaces are not
-static. That prevents them from using them in case alternatives, named 
-numbers, bounds of integer type declarations, and so on. These can be
-useful to match a foreign type or subprogram definition.
+The shifting and rotating functions declared in package Interfaces are not
+static. That prevents using them in case alternatives, named numbers, bounds
+of integer type declarations, and so on. These can be useful to match a 
+foreign type or subprogram definition.
 
 !proposal
 
@@ -22,7 +24,7 @@
 
 !wording
 
-Add after RM 4.9(19):
+Add after RM 4.9(20):
 
   * a shifting or rotating function associated with a modular
      type declared in package Interfaces (see B.2);
@@ -63,6 +65,15 @@
 expression that is non-static is legal, such a permission would involve some 
 loss of portability (especially important in code that will not be executed,
 as noted above) and incompatibility with previous versions of the language.
+
+!corrigendum 4.9(20)
+
+@dinsa
+@xbullet<a predefined concatenation operator whose result type is a string
+type;>
+@dinst
+@xbullet<a shifting or rotating function associated with a modular
+type declared in package Interfaces (see B.2);>
 
 !ASIS