search

Ada-Rapporteur-Group / User-Community-Input

Ada User Community Input Working Group - Github Mirror Prototype
27 stars 1 forks source link

Does "@" ever statically denote an object? #6

Closed sttaft closed 2 years ago

sttaft commented 2 years ago

There are various rules that depend on whether a name statically denotes some declaration. If the LHS of an assignment statically denotes a declaration, can we presume that an "@" used on the RHS also statically denotes the same declaration?

Jeff-Cousins commented 2 years ago

I hope so.On 10 Jun 2022 16:22, sttaft @.***> wrote: There are various rules that depend on whether a name statically denotes some declaration. If the LHS of an assignment statically denotes a declaration, can we presume that an "@" used on the RHS also statically denotes the same declaration?

—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you are subscribed to this thread.Message ID: @.***>

ARG-Editor commented 2 years ago

This seems like a language bug that needs an AI write-up. I have another issue with statically denotes that also needs a write-up, should I combine those?

ARG-Editor commented 2 years ago

This question was answered by AI12-0332-1; 4.9(16.1/5) says that it does statically denote an object.

However, Tucker might have been referring to my private question of whether it statically NAMES an entity that is not statically denoted. This is now the subject of AI22-0046-1 (see the active AI list).

ARG-Editor commented 2 years ago

AI12-0046-1 was approved at the June 2022 ARG meeting (#62Q), so I've closed this question.