Skip to content

could support for erlang-like bit syntax? #1830

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
monadbobo opened this issue Feb 13, 2012 · 2 comments
Closed

could support for erlang-like bit syntax? #1830

monadbobo opened this issue Feb 13, 2012 · 2 comments
Labels
A-syntaxext Area: Syntax extensions C-enhancement Category: An issue proposing an enhancement or a PR with one.

Comments

@monadbobo
Copy link

bit syntax:

http://www.erlang.org/documentation/doc-5.6/doc/programming_examples/bit_syntax.html

this is awesome for network programming.

thanks!
@graydon
Copy link
Contributor

graydon commented Feb 15, 2012

This should probably be done with a syntax extension.

@catamorphism
Copy link
Contributor

Closing this since someone could go ahead and contribute a patch implementing this with a syntax extension, if they wanted to.

celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Downgrade the toolchain to avoid blocking issue (rust-lang#1830)
0f41459 
Downgrade the rust toolchain for the nighly before the current version. This mitigates rust-lang#1822 which is caused by rust-lang#103814.

Ps.: I also bumped cbmc min version since older versions don't work with Kani.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-syntaxext Area: Syntax extensions C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@graydon @monadbobo @catamorphism