Skip to content

Typedefs and checked multi-dimensional arrays.#44

Merged
dtarditi merged 1 commit intocheckedc:masterfrom
dtarditi:issue22
Aug 11, 2016
Merged

Typedefs and checked multi-dimensional arrays.#44
dtarditi merged 1 commit intocheckedc:masterfrom
dtarditi:issue22

Conversation

@dtarditi
Copy link
Member

This addresses issue #22 by clarifying the rules for checked properties of multi-dimensional arrays constructed using typedefs. If an array type has an element type that is an array type, the array type and element type must both either be checked or unchecked. This is true even if the element type is a typedef'ed name.

  • Clarify that the checked property of an array declarator is only propagated to nested array declarators. It is not propagated to typedef bodies.
  • It is an error if there is a mismatch in checked properties between an array type and an element type that is an array type.
  • Improve the organization and wording of the text for checked multi-dimensional arrays.

- Clarify that the checked property of an array declarator is only propagated
  to nested array declarators.  It is not propagated to typedef bodies.
- It is an error if there is a mismatch in checked properties between an array
  type and an element type that is an array type.
- Improve the organization and wording of the text for checked
  multi-dimensional arrays.
@awruef
Copy link
Collaborator

awruef commented Aug 11, 2016

Makes sense to me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants