Just like VHDL-2008, VHDL-2019 brings a lot of new features to the language. While some of them are quite out there and probably hard to implement, there are also a few small quality-of-life improvements.

This issue will serve both as a place for discussion about the implementation of VHDL-2019 features in general, as well as to track the implementation of all the Language Changes.

General

• Add --std=19, update documentation accordingly:
  • Add --std=19 command line option #1981
• Add VHDL-2019 standard libraries from https://gitlab.com/IEEE-P1076/packages/-/tree/1076-2019

List of language changes

• LCS-2016-001 "Partially Connected Vectors on Port Map"
• LCS-2016-002 "Allow access and protected type parameters on function interfaces":
  • vhdl-sem_decls: allow out/inout parameters to impure function in VHDL-2019 #1983
• LCS-2016-004 "Allow Protected Type Method Parameters to be Access Types, Protected Types (functions), and File Types":
  • vhdl-sem_types: allow methods to return file and protected types in VHDL-2019 #1984
• LCS-2016-006a "File IO / Textio updates"
• LCS-2016-006c "File IO / Directory I/O"
• LCS-2016-006e "Allow access to system environment variables (baseline)"
• LCS-2016-006f "Expose standard conditional analysis identifiers"
• LCS-2016-007 "Sequential Declaration Regions"
• LCS-2016-011 "Date/Time functions"
• LCS-2016-012 "'IMAGE and TO_STRING for composite types"
• LCS-2016-014 "Composites of Protected Types"
• LCS-2016-014a "Pointers to Composites of Protected Types":
  • vhdl-sem_types: allow file and protected type access types in VHDL-2019 #1985
• LCS-2016-015 "Report Calling Path"
• LCS-2016-015a "ReportCallingPath - Current File and Line by function"
• LCS-2016-016 "Anonymous Types"
• LCS-2016-018 "Attributes for Enumerated Types"
• LCS-2016-018a "New attributes - 'index"
• LCS-2016-018d "New attributes - 'designated_type"
• LCS-2016-019 "Inferring Constraints from Initial Values for Signals and Variables"
• LCS-2016-023 "Relax Library Requirement on Configurations"
• LCS-2016-026c "LongIntegers"
  • 64 bit integer support #950
• LCS-2016-030 "Garbage Collection"
• LCS-2016-032 "PATH_NAME and Shared Variables and Subprograms"
• LCS-2016-033 "Composition with Protected Types"
• LCS-2016-034 "Protected Types with Generic Clause"
• LCS-2016-036a "Allow for conditional expressions in a declaration (baseline)"
• LCS-2016-041 "Record Introspection / Type Reflection"
• LCS-2016-043 "Attributes for PSL"
• LCS-2016-045a "Interface - defines new mode view construct for composite interface objects"
• LCS-2016-045c "Interface - 'CONVERSE for a mode view"
• LCS-2016-047 "Protected Type: Shared Variables On Entity Interface"
• LCS-2016-049 "Map Generics On Subprogram Call"
• LCS-2016-050 "API for Assert"
• LCS-2016-055a "Syntax regularization - component declarations"
• LCS-2016-059 "Array Type Generics"
• LCS-2016-059a "Allow ordering on any scalar array - related to Array Type Generics"
• LCS-2016-061 "Conditional compilation"
• LCS-2016-071a "Extra optional semicolon at the end of interface_list"
• LCS-2016-072b "Function Knows Return Vector Size"
• LCS-2016-075 "Closely related record types"
• LCS-2016-082 "Syntax regularization: empty records"
• LCS-2016-086 "All Interface Lists Can Be Ordered"
• LCS-2016-094a "Conditional Return Statement"
• LCS-2016-099 "Extended Ranges"