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.

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

chore: Update toolchain to nightly-2024-09-30 #510

Merged
merged 1 commit into from
Nov 22, 2024
Merged

Conversation

WillPapper
Copy link
Contributor

@WillPapper WillPapper commented Nov 22, 2024

This aligns the toolchain with Binius's rust-toolchain

By updating the toolchain, we solve the following error on the starter project:

cargo run --release
   Compiling ark-bn254 v0.4.0
   Compiling binius_field v0.1.0 (https://gitlab.com/UlvetannaOSS/binius#33eab8c9)
error[E0658]: use of unstable library feature 'iter_repeat_n'
   --> /Users/user/.cargo/git/checkouts/binius-073c6a8ffd019076/33eab8c/crates/field/src/packed.rs:225:76
    |
225 |             self.iter().skip(block_idx * block_len).take(block_len).flat_map(|elem| iter::repeat_n(elem, repeat))
    |                                                                                     ^^^^^^^^^^^^^^
    |
    = note: see issue #104434 <https://github.com/rust-lang/rust/issues/104434> for more information
    = help: add `#![feature(iter_repeat_n)]` to the crate attributes to enable
    = note: this compiler was built on 2024-07-31; consider upgrading it if it is out of date

For more information about this error, try `rustc --explain E0658`.
error: could not compile `binius_field` (lib) due to 1 previous error

The toolchain update solves an incompatibility between the nightly compiler version in use by Jolt and the use of iter::repeat_n that was introduced three days ago in Binius.

This fixes #508. I will open a separate PR in a16z/rust for the CI pipeline

This aligns the toolchain with Binius: https://gitlab.com/IrreducibleOSS/binius/-/blob/main/rust-toolchain.toml?ref_type=heads

By updating the toolchain, we solve the following error:
```
cargo run --release
   Compiling ark-bn254 v0.4.0
   Compiling binius_field v0.1.0 (https://gitlab.com/UlvetannaOSS/binius#33eab8c9)
error[E0658]: use of unstable library feature 'iter_repeat_n'
   --> /Users/user/.cargo/git/checkouts/binius-073c6a8ffd019076/33eab8c/crates/field/src/packed.rs:225:76
    |
225 |             self.iter().skip(block_idx * block_len).take(block_len).flat_map(|elem| iter::repeat_n(elem, repeat))
    |                                                                                     ^^^^^^^^^^^^^^
    |
    = note: see issue #104434 <rust-lang/rust#104434> for more information
    = help: add `#![feature(iter_repeat_n)]` to the crate attributes to enable
    = note: this compiler was built on 2024-07-31; consider upgrading it if it is out of date

For more information about this error, try `rustc --explain E0658`.
error: could not compile `binius_field` (lib) due to 1 previous error
```

It solves an issue with the nightly compiler version and the use of `iter::repeat_n` that was introduced three days ago: https://gitlab.com/IrreducibleOSS/binius/-/commit/0c8c49b5cf7145949d5cbd4a237cda736c0dd1d3
WillPapper added a commit to WillPapper/a16z-rust that referenced this pull request Nov 22, 2024
This matches the toolchain used by Jolt in this PR: a16z/jolt#510

The compiler is updated to align with features used by Binius (in particular the use of `iter::repeat_n`)
@WillPapper
Copy link
Contributor Author

Added the corresponding PR to a16z/rust here: a16z/rust#10

Copy link
Collaborator

@moodlezoup moodlezoup left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks Will!

@moodlezoup moodlezoup merged commit ded4fcd into a16z:main Nov 22, 2024
4 checks passed
moodlezoup pushed a commit to a16z/rust that referenced this pull request Nov 22, 2024
This matches the toolchain used by Jolt in this PR: a16z/jolt#510

The compiler is updated to align with features used by Binius (in particular the use of `iter::repeat_n`)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Error compiling sample program in quickstart
2 participants