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
!standard 6.1.1(39/5)
!standard 7.3.3(1/5)
!standard 7.3.3(2/5)
@@ -38,7 +38,7 @@
!proposal
-(See Summary.)
+Allow Pre and Post to be specified on nonabstract generic formal subprograms.
!wording
@@ -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
-specification:
+the situation where the programmer had defined a new routine in the generic
+package specification:
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).
!corrigendum 6.1.1(1/5)
Questions? Ask the ACAA Technical Agent