Version 1.3 of ai05s/ai05-0209-1.txt

Unformatted version of ai05s/ai05-0209-1.txt version 1.3
Other versions for file ai05s/ai05-0209-1.txt

!standard 4.5.5(19.2/3) 10-02-23 AI05-0209-1/01
!class binding interpretation 10-02-23
!status Amendment 2012 10-08-10
!status ARG Approved 7-0-3 10-06-19
!status work item 10-02-23
!status received 10-02-23
!priority Low
!difficulty Easy
!qualifier Omission
!subject Universal operators of fixed point types (again)

!summary

Operators of incomplete views of fixed point types are considered when determining if the predefined universal_fixed operators can be used.

!question

The discussion of AI05-0020-1 ends with:

This latter case can't happen for fixed-point types, because use of an untagged incomplete type as a non-access parameter is prohibited:

function "*" (Left, Right : Incomp); -- Illegal!

However, AI05-0151-1 has indeed made this legal. So this case can happen and the wording needs to reflect that.

!recommendation

(See Summary.)

!wording

Modify 4.5.5(19.2/3) (as modified by AI05-0020-1) to:

* it is declared immediately within the same declaration list as the type or any partial {or incomplete} view thereof; and

!discussion

!corrigendum 4.5.5(19.2/3)

Replace the paragraph:

it is declared immediately within the same declaration list as the type; and

by:

it is declared immediately within the same declaration list as the type or any partial or incomplete view thereof; and

!ACATS Test

Make a C-Test to cover this case.

!appendix


From: Randy Brukardt
Sent: Tuesday, February 23, 2010  5:22 PM

I'm going through AIs creating a spreadsheet of information so we can see the Big
Picture.

I happened to notice the following in the discussion of AI-20:

This latter case can't happen for fixed-point types, because use of an untagged
incomplete type as a non-access parameter is prohibited:
   function "*" (Left, Right : Incomp); -- Illegal!

Whomever wrote that never read AI-151 (probably because it hadn't been written yet).
Looks like we'll need another AI to fix the wording.

****************************************************************

Questions? Ask the ACAA Technical Agent