Skip to content

Rename the array helpers in parser.ml #71

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
Closed
graydon opened this issue Jun 28, 2010 · 1 comment
Closed

Rename the array helpers in parser.ml #71

graydon opened this issue Jun 28, 2010 · 1 comment
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@graydon
Copy link
Contributor

graydon commented Jun 28, 2010

There are some functions in parser.ml that have uncivilized names: arr, arl, arj, and arj1st. Please name them something nicer.
@graydon
Copy link
Contributor Author

graydon commented Jan 27, 2011

WONTFIX (not required for bootstrapping)

@evanmcc evanmcc mentioned this issue Apr 3, 2012
Closed
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@steveklabnik
Merge pull request rust-lang#71 from arielb1/all-the-world-is-an-intel
70f866a 
ignore doctest of `extern "stdcall"` on non-x86
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
celinval pushed a commit to celinval/rust-dev that referenced this issue Nov 13, 2024
@SahithiMV @aa-luna
@MooniniteErr @carolynzech @zhassan-aws
NonZero (new_unchecked) Proof for Contract (Init) (rust-lang#109)
0ed4f75 
Working on rust-lang#71 (Safety of NonZero)

We are looking for feedback on our proof_for_contract. We have
implemented it for all the data types.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: aaluna <[email protected]>
Co-authored-by: aaluna <[email protected]>
Co-authored-by: Carolyn Zech <[email protected]>
Co-authored-by: Zyad Hassan <[email protected]>
carolynzech pushed a commit to celinval/rust-dev that referenced this issue Dec 13, 2024
@lang280
NonZero (rotate_left, rotate_right, max, min, clamp, count_ones, cmp)…
367d8ff 
… Proofs (rust-lang#202)

Working on
[rust-lang#71](model-checking#71)
(Safety of NonZero)

We are looking for feedback on our proof for rotate_left & rotate_right.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon