Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Include -addcr to tests #123

Closed
mwhicks1 opened this issue Jun 17, 2020 · 1 comment
Closed

Include -addcr to tests #123

mwhicks1 opened this issue Jun 17, 2020 · 1 comment
Assignees
@aaronjeline @sroy4899
Labels
-addcr documentation Improvements or additions to documentation enhancement New feature or request

Comments

@mwhicks1
Copy link
Member

Our tests should also enable the -addcr flag in most cases. This flag adds _Checked annotations to blocks.

When the -alltypes flag is provided, the output code may not always compile, as usual, but when -alltypes is elided, the code should always compile.
@mwhicks1 mwhicks1 added the enhancement New feature or request label Jun 17, 2020
@sroy4899 sroy4899 self-assigned this Jul 10, 2020
@kyleheadley kyleheadley added documentation Improvements or additions to documentation -addcr labels Dec 3, 2020
@mattmccutchen-cci
Copy link
Member

mattmccutchen-cci commented Feb 4, 2021 •
edited
Loading

Duplicate of #346

Will be done as part of #346.

@mattmccutchen-cci mattmccutchen-cci marked this as a duplicate of #346 Feb 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aaronjeline aaronjeline

@sroy4899 sroy4899

Labels
-addcr documentation Improvements or additions to documentation enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@mwhicks1 @aaronjeline @kyleheadley @sroy4899 @mattmccutchen-cci