CVS difference for ai12s/ai12-0275-1.txt
--- ai12s/ai12-0275-1.txt 2018/07/15 00:25:58 1.6
+++ ai12s/ai12-0275-1.txt 2018/09/05 21:28:47 1.7
@@ -1,4 +1,4 @@
-!standard 8.5.1(2/3) 18-06-14 AI12-0275-1/02
+!standard 8.5.1(2/3) 18-08-31 AI12-0275-1/03
!standard 8.5.1(3/2)
!class Amendment 18-05-10
!status Amendment 1-2012 18-07-05
@@ -16,11 +16,11 @@
!problem
-subtype_marks are often redundant, especially when used to introduce local
-renamings that are aimed at clarifying the intent of the code. Moreover, the
-constraints, exclusions, and predicates of the subtype_mark are ignored in
-favor of those of the renamed object, so the subtype_mark can't be trusted
-to provide accurate information about the object.
+The subtype_mark in an object renaming is often redundant, especially when
+used to introduce local renamings that are aimed at clarifying the intent of
+the code. Moreover, the constraints, exclusions, and predicates of the
+subtype_mark are ignored in favor of those of the renamed object, so the
+subtype_mark can't be trusted to provide accurate information about the object.
!proposal
Questions? Ask the ACAA Technical Agent