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

--- ai12s/ai12-0204-1.txt	2016/11/10 01:48:00	1.3
+++ ai12s/ai12-0204-1.txt	2016/11/24 02:41:08	1.4
@@ -201,9 +201,21 @@
 The @i<callable_entity_>@fa<name> of a renaming-as-body shall not denote an
 abstract subprogram. 
 @dinst
+If the @i<callable_entity_>@fa<name> of a renaming is a prefixed view, the
+prefix of that view shall denote an object for which renaming is allowed.
 
 !corrigendum 12.6(8.3/2)
 
+@dinsa
+@xbullet<otherwise, the subtype of the corresponding parameter or result type
+of the actual matching the @fa<formal_subprogram_declaration> shall exclude
+null. In addition to the places where Legality Rules normally apply (see 12.3),
+this rule applies also in the private part of an instance of a generic unit.> 
+@dinst
+If the named default, if any, is a prefixed view, the prefix of
+that view shall denote an object for which renaming is allowed (see 8.5.1).
+Similarly, if the actual subprogram in an instantiation is a prefixed view,
+the prefix of that view shall denote an object for which renaming is allowed.
 
 !ASIS