natural_vector

Proposal Information

• Who Updates: OPEN
• Date Proposed: 2014-03-23
• Date Last Updated: 2014-03-23
• Priority:
• Complexity:
• Focus: General Language

Summary

Meeting November 8, 2012

• Can we make it closely related to integer_vector?
• Could this also handle items like X01_vector -

subtype natural_vector is integer_vector (range 0 to integer'right) ;

Meeting May 26, 2016 notes:

• Syntax close to constraining the integer_vector. Maybe one of the following is necessary
• • subtype natural_vector is integer_vector (<>) (range 0 to integer'right) ; -- seems to be consistent with partial constraints
  • subtype natural_vector is integer_vector (<>) of (range 0 to integer'right) ;
  • subtype natural_vector is integer_vector ((range 0 to integer'right)) ;

Related Issues: None = General

Competing Issues: None at this time

Use cases

Language impact

Non-supporters

Add your signature here to indicate non-support for this proposal.

Supporters

Add your signature here to indicate support for this proposal.