What's Next - see PrivateDocuments file: _summary_vhdl_requirements_priority.xlsx
Restart at line 60
60: Array Type Generics
Currently cannot do array type operations on a generic type
No way to enforce that the actual is an array type
May overlap with abstract packages
May overlap with anonymous types discussion
Should we be able to restricted a type to a scalar type or an array type.
Current sense of the language is that the object is limited to operations on a scalar type
63: Abstract Packages
Skipped to here due to overlap with 60
Currently can pass functions
Ernst: Alternative make checking generic package is to parse a generic package as a template and defer the checking until compiling a generic package instance
Lieven would prefer to use an abstract package
61: New Predefined Attributes: 'actual and 'formal
For integers want to know the range of the actual that is passed to a subprogram vs having to pass 'low and 'high as parameters
Would not always want to do this as it would slow down all subprograms as the 'low and 'high would need to be implicitly passed by the simulator.
May need to be reconsidered with the integer extensions
Alternative: make range a first class object and have the range explicitly passed in the subprogram