CVS difference for 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
@@ -38,7 +38,7 @@
+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
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).
Questions? Ask the ACAA Technical Agent