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

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0272-1.txt

--- ai12s/ai12-0272-1.txt	2018/07/15 00:25:58	1.3
+++ ai12s/ai12-0272-1.txt	2018/09/05 21:28:47	1.4
@@ -1,4 +1,4 @@
-!standard 6.1.1(1/5)                                  18-07-11  AI12-0272-1/02
+!standard 6.1.1(1/5)                                  18-08-31  AI12-0272-1/03
 !standard 6.1.1(39/5)
 !standard 7.3.3(1/5)
 !standard 7.3.3(2/5)
@@ -38,7 +38,7 @@
-(See Summary.)
+Allow Pre and Post to be specified on nonabstract generic formal subprograms.
@@ -114,8 +114,8 @@
 Note that the dynamic model for generic formal subprograms is identical to
-the case if the programmer had defined a new routine in the generic package
+the situation where the programmer had defined a new routine in the generic 
+package specification:
         type Foo is ...
@@ -147,7 +147,7 @@
 One could imagine allowing Pre'Class and Post'Class on formal abstract
 subprograms, but since it is not clear how to reconcile those with the static
-binding model for class-wide contracts, we don't allow this for now.
+binding model for class-wide contracts, this is not allowed.
@@ -182,8 +182,7 @@
 We don't want Type_Invariants to be used on formal subprograms. We do this
 because the rules for checking a type invariant apply to the unit in which it
 is defined - so it doesn't make sense for a generic formal (which is declared
-in a *different* unit than the actual). It might be possible to reconcile
-this, but thinking about it just makes my head hurt.
+in a *different* unit than the actual).
 !corrigendum 6.1.1(1/5)

Questions? Ask the ACAA Technical Agent