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

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

--- ai12s/ai12-0168-1.txt	2015/06/18 01:19:04	1.1
+++ ai12s/ai12-0168-1.txt	2015/07/07 23:35:18	1.2
@@ -1,5 +1,6 @@
-!standard 13.14(3/4)                                    15-06-17  AI05-0168-1/01
+!standard 13.14(3/4)                                    15-07-07  AI05-0168-1/02
 !class binding interpretation 15-06-17
+!status ARG Approved 9-0-0  15-06-26
 !status work item 15-06-17
 !status received 15-06-08
 !priority Low
@@ -15,17 +16,17 @@
 
 A literal reading of the Standard says that a generic instantiation of a
 generic with a body freezes in the same way as an explicit body. This is
-a huge (and likely uninitended) change from the behavior of Ada 95 and
+a huge (and likely unintended) change from the behavior of Ada 95 and
 Ada 2005.
 
 Specifically, 12.3(13) says that an instance is a copy of the text of the
 template. 12.3(14) makes it clear that each construct (which is a syntax
 concept) within that instance exists and is interpreted.
 
-A generic template that has a body will have a construct proper_body. (Unlike
-a generic specification, there are no separate generic bodies.) Thus the
-instance will also have a proper_body (as it is a copy of the text, that
-is the constructs of the template).
+A generic template that has a body will contain a proper_body. (Unlike
+a generic specification, there is no distinct construct generic_body.)
+Thus the instance will also have a proper_body (as it is a copy of the text,
+that is the constructs of the template).
 
 13.14(3/4) says that "a proper_body ... causes freezing of each entity and
 profile declared before it ...". Thus I conclude that instantiating a generic

Questions? Ask the ACAA Technical Agent