(r8) TopLCS2016_028a < P1076

P1076 Web>Vhdl2019CollectedRequirements>TopLCS2016_028a (revision 8) (raw view)~~EditAttach~~
---+ Language Change Specification for Anonymous Types for External Names

---++ 

| <sticky><b>LCS Number:</b></sticky> | LCS-2016-028a |
| <sticky><b>Version:</b>   </sticky> | 2 |
| <sticky><b>Date:</b>      </sticky> | 21-Mar-2017 |
| <sticky><b>Status:</b>    </sticky> | Request for Comments and/or Edits  |
| <sticky><b>Author:</b>    </sticky> | Jim Lewis |
| <sticky><b>Email:</b>     </sticky> | [[Main.JimLewis]] |
| <sticky><b>Source Doc:</b></sticky> | [[ExternalNameTypes][Anonymous Types for External Names ]] |
| <sticky><b>Summary:</b>   </sticky> | Anonymous Types for External Names implements External Names for Types |
| <sticky><b>Conflicts with LCS:</b></sticky> | [[LCS2016_028][LCS-2016-028]] |

---+++ Voting Results: Cast your votes here

Yes:
   1 %USERSIG{JimLewis - 21-Mar-2017}% ver 2
   1 %USERSIG{PatrickLehmann&#8203; - 22-Mar-2017}% ver 2

No:

Abstain:


<noautolink>
<sticky>

---+++ Revision Notes
Revision 2: Updates for comments 21-Mar-2017
   * Added item d to list
   
Revision 1: Initial 19-Mar-2017  
   * Replacement LCS for 

---+++ Style Notes

%GREEN%[Author Comment: author comments are shown in green]%ENDCOLOR%

%RED%Text changes are shown in red%ENDCOLOR%

%RED%<strike>Deleted text is shown in red font with a strike thru</strike>%ENDCOLOR%

---+++ Reviewing Notes

Goal: Allow the type of an external name to be an anonymous type

---+++ Details of Language Change

 
---+++ Section 8.7 External Names 
---++++ productions on page 113 
<pre>external_constant_name ::=
    << constant external_pathname : external_type_indication >>
external_signal_name ::=
    << signal external_pathname : external_type_indication >>
    
  <font color="red">external_type_indication ::=
    subtype_indication 
    | anonymous_type_indication   %GREEN%[From LCS_2016_059]%ENDCOLOR%
</font>
</pre>
    
---++++ Add new paragraph just before last paragraph (is before the notes)
<font color="red">
For an external name whose type is specified by an anonymous type indication, %BR%
a) the type is determined during elaboration of the external name.%BR%
b) only predefined operators and attributes that are appropriate
for the corresponding type class may be used.%BR%
c) it is an error if the type mark in the subtype indication of the 
external name is not a member of the type class of the anonymous type.%BR%
d) it is an error if the type mark in the subtype indication is 
itself a formal generic type.
</font>
 
<br>
<br>
---+++ Comments



Please show the afterwords in black text. LCS 059 has no definition of operations per type class. We would need to move it from interface types to normal types. There is no definition of compatibility for a type and type class. This LCS needs to break possible type loops.. A generic type is not allowed.

-- %BUBBLESIG{PatrickLehmann - 2017-03-20}%


anonymous type indication

-- %BUBBLESIG{JimLewis - 2017-03-21}%


Added &#34;indication&#34; to the first sentence. No revision change.

-- %BUBBLESIG{PatrickLehmann - 2017-03-22}%
%COMMENT%</sticky>

</noautolink>
Topic revision: r1 - 2020-02-17 - 15:34:41 - TWikiGuest
P1076