Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

Update the Checked C specification to describe erasable syntax #488

Open
dtarditi opened this issue Jul 11, 2023 · 0 comments
Open

Update the Checked C specification to describe erasable syntax #488

dtarditi opened this issue Jul 11, 2023 · 0 comments
Milestone
Checked C v1.0 re...

Comments

@dtarditi
Copy link
Member

The syntax modifications to allow macros to be used to erase Checked C annotations need to be added to the Checked C specification. Right now they are onlydocumented on a proposal page.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
Checked C Board
Status: Todo
Milestone
Checked C v1.0 release
Development

No branches or pull requests
1 participant
@dtarditi