CVS difference for ai12s/ai12-0278-1.txt
--- ai12s/ai12-0278-1.txt 2018/05/15 02:50:47 1.1
+++ ai12s/ai12-0278-1.txt 2018/07/06 05:25:15 1.2
@@ -1,5 +1,7 @@
-!standard 3.10.2(10.3/3) 18-05-14 AI12-0278-1/01
+!standard 3.10.2(10.3/3) 18-07-05 AI12-0278-1/02
!class binding interpretation 18-05-14
+!status Amendment 1-2012 18-07-05
+!status ARG Approved 11-0-0 18-06-22
!status work item 18-05-14
!status received 18-05-11
!priority Low
@@ -8,7 +10,7 @@
!subject Implicit conversions of anonymous return types
!summary
-An implicit conversion to a named access type determined the "master of the
+An implicit conversion to a named access type determines the "master of the
function call".
!question
@@ -90,6 +92,15 @@
of an explicit conversion as one can't actually name the type to write a
type conversion. However, we need to include rules for implicit conversions
to named access types, lest we have a hole as described in the !question.
+
+!corrigendum 3.10.2(10.3/3)
+
+@drepl
+@xinbull<If the result is of an anonymous access type and is the operand of an
+explicit conversion, the master is that of the target type of the conversion;>
+@dby
+@xinbull<If the result is of an anonymous access type and is converted to a
+named access type, the master is that of the target type of the conversion;>
!ASIS
Questions? Ask the ACAA Technical Agent