LCS2016_016_history < P1076

P1076 Web>VHDL2017>LCS2016_016>LCS2016_016_history (2017-07-16, JimLewis) (raw view)EditAttach
---+ Language Change Specification for Anonymous Types

---++ 

 | <sticky><b>LCS Number:</b></sticky> | LCS-2016-016 |
 | <sticky><b>Version:</b>   </sticky> | 5 |
 | <sticky><b>Date:</b>      </sticky> | 21-Mar-2017 |
 | <sticky><b>Status:</b>    </sticky> | Voting |
 | <sticky><b>Author:</b>    </sticky> | Jim Lewis |
 | <sticky><b>Email:</b>     </sticky> | [[Main.JimLewis]] |
 | <sticky><b>Source Doc:</b></sticky> | [[AnonymousTypes][Anonymous Types]] |
 | <sticky><b>More Doc:</b></sticky> | [[LCS2016_016_history][History]] |
 | <sticky><b>Related LCS':</b></sticky> | [[LCS2016_059][Interface Type Declarations - LCS_2016_059]] %BR% \
                                           [[LCS2016_049][Generics on subprogram call - LCS_2016_049]] %BR% \
                                           [[LCS2016_086][All interface lists are ordered - LCS_2016_086]] |
 | <sticky><b>Summary:</b>   </sticky> | Leverages interface type definitions introduced in generic lists to  \
                                         create an anonymous type declaration for interface lists |
                                         
 
---+++ Voting Results: Cast your votes here

Yes:
 
   1 %USERSIG{JimLewis - 21-Mar-2017}% ver 5
   1 %USERSIG{PatrickLehmann - 2017-03-21}% - ver 5
   1 %USERSIG{LievenLemiengre - 2017-01-20}% - ver 3
   1 %USERSIG{HendrikEeckhaut - 2017-01-27}% ver 3
   1 %USERSIG{ThomasPreusser - 2017-01-31}% ver 3

No:
   1 

Abstain:
   1 %USERSIG{KevinJennings - 2017-2-9}% Ver 3
   1 %USERSIG{BrentHahoe - 2017-02-16}% Version 3 - Abstain due to lack of personal time for review.

---++ Revision Notes
Version 5:  21-Mar-2017
   * anonymous_type_indication move to LCS 059
   * change "type ; " to "type is private ;"
   * Added clarifications to edit in section 6.5.7.1 on page 81 after 
   
Version 4:  11-Mar-2017
   * in 6.5.7.1 added:
      * It is an error if the subtype of the port or parameter is not determinable from the context.

Version 3:  25-Jan-2017
   * Fixed reference to interface type definition
   * In paragraphs on p74 and p81 added create generic list if it does not already exist.
   * In paragraph on p81 changed actual generic to association element
   
Version 2:  17-Jan-2017
   * Review with Patrick
   * Now uses type is interface_type_definition
   * Added 2nd port to example showing scalar type

Revision 1:  13-Jan-2017

---++ Style Notes
<noautolink><sticky>
Changes are shown in %RED%red font%ENDCOLOR%.  
Deletions are %RED%<del>crossed out</del>%ENDCOLOR%. 
Editing notes in %GREEN%green font%ENDCOLOR%. 
 


---++ Comments 
---+++ Version 2
On a second reading, I found some ambiguities:
   * The term "anonymous type declaration" is not introduced (yes by EBNF, but not textual).
   * "a corresponding anonymous formal generic type added to the end of the generic list" %BR%
     What if for example a procedures has no generic list? Does every entity have an empty generic list by default OR is a sentence missing, that such a list is created if it doesn't exist?

Other changes:
   * For any VHDL construct with a port or parameter association list whose corresponding interface object declaration has a type defined by %RED%<del>a </del>%ENDCOLOR%an anonymous type declaration, there is a corresponding construct with a generic association list and a port or parameter list. For each port or parameter whose type is specified as an anonymous type declaration, an %RED%<del>actual generic</del>association element%ENDCOLOR% is added to the end of the generic association list to associate the anonymous formal generic type with the subtype of the actual parameter. The original port or parameter list is unchanged.
      
-- %BUBBLESIG{PatrickLehmann - 2017-01-19}%



Is there a typo in the syntax definition of anonymous_type_definition ?

-- %BUBBLESIG{TristanGingold - 2017-01-19}%


What kind of typo? The difference to LCS 059 is the missing (not required) identifier.

-- %BUBBLESIG{PatrickLehmann - 2017-01-19}%


interface_type_definition is defined in LCS 059, so this LCS fully depends on 059.  In fact, only the editing note has the typo.

-- %BUBBLESIG{TristanGingold - 2017-01-19}%

Created Version 3.   @TG and @PL thanks for the updates.
   * @TG Updated typo in editing note
   * @PL.1  Not sure how to address this, not all terms are &#34;introduced&#34;.
   * @PL.2 Updated p74 and p81 paragraphs to create the generic list if it did not already exist.
   * @PL.3 Changed actual generic to association element

-- %BUBBLESIG{JimLewis - 2017-01-26}%


Fixed some typos in the example for section 6.5.2.

-- %BUBBLESIG{MartinZabel - 2017-01-30}%


@MZ Thanks.

-- %BUBBLESIG{JimLewis - 2017-01-30}%


Moved =anonymous_type_declaration= to LCS 059.

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

</noautolink>
Topic revision: r1 - 2017-07-16 - 04:01:53 - JimLewis
P1076