Describe cv modifiers and checked pointer types.#15
Merged
dtarditi merged 1 commit intocheckedc:masterfrom Apr 22, 2016
dtarditi:master
Merged
Describe cv modifiers and checked pointer types.#15dtarditi merged 1 commit intocheckedc:masterfrom dtarditi:master
dtarditi merged 1 commit intocheckedc:masterfrom
dtarditi:master
Conversation
Checked pointer types can be used with cv modifiers. Add an axplanation of this to the design. Add examples of variable declarations that use pointer types with CV modifiers. This also includes a few other changes: - Explain that the idea of span goes way back in computer science. The name is new, but the idea has a long history. Cite a paper on implementing ALGOL 60. - Improve the description of the new checked pointer types in the introduction. - Remove some awkward phrasing in the description of bounds-safe interfaces in the introduction.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Checked pointer types can be used with cv modifiers. Add an explanation of
this to the design. Add examples of variable declarations that use pointer
types with CV modifiers. This addresses issue #15.
This also includes a few other changes:
name is new, but the idea has a long history. Cite a paper on implementing
ALGOL 60.
in the introduction.