CVS difference for ai12s/ai12-0122-1.txt
--- ai12s/ai12-0122-1.txt 2014/08/12 02:03:31 1.1
+++ ai12s/ai12-0122-1.txt 2015/07/14 02:29:41 1.2
@@ -1,5 +1,6 @@
!standard 3.5(15) 14-08-11 AI12-0122-1/01
!class Amendment 14-08-11
+!status No Action (7-0-1) 15-06-27
!status work item 14-08-11
!status received 14-06-29
!priority Low
@@ -19,8 +20,8 @@
!proposal
-Idea 1: Extend 'Base to all types. This would give a name to the italized T of
-lore (and AARM 4.5.1(3.b-i/2)). In particular, T'Base would additionally
+Idea 1: Extend 'Base to all types. This would give a name to the italicized T
+of lore (and AARM 4.5.1(3.b-i/2)). In particular, T'Base would additionally
represent the first subtype of T for tagged types (without any predicate)
and a subtype of T without any constraint or null exclusion for other composite
types.
Questions? Ask the ACAA Technical Agent