Skip to content

Quickstart guide won't build #235

@kmerrill18

Description

@kmerrill18

I was following the quickstart guide here just to get my feet wet with circ, and I found step 2 failed with this output:

$ circ % ./driver.py -b
Running: cargo check --tests --examples --benches --bins --features poly,bellman,zok,r1cs
warning: hiding a lifetime that's elided elsewhere is confusing
  --> third_party/ZoKrates/zokrates_parser/src/lib.rs:15:21
   |
15 | pub fn parse(input: &str) -> Result<Pairs<Rule>, Error<Rule>> {
   |                     ^^^^            ----------- the same lifetime is hidden here
   |                     |
   |                     the lifetime is elided here
   |
   = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
   = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
help: use `'_` for type paths
   |
15 | pub fn parse(input: &str) -> Result<Pairs<'_, Rule>, Error<Rule>> {
   |                                           +++

    Checking flint-sys v0.7.3
warning: `zokrates_parser` (lib) generated 1 warning
warning: hiding a lifetime that's elided elsewhere is confusing
    --> third_party/ZoKrates/zokrates_pest_ast/src/lib.rs:1127:28
     |
1127 | pub fn generate_ast(input: &str) -> Result<ast::File, Error> {
     |                            ^^^^            --------- the same lifetime is hidden here
     |                            |
     |                            the lifetime is elided here
     |
     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
help: use `'_` for type paths
     |
1127 | pub fn generate_ast(input: &str) -> Result<ast::File<'_>, Error> {
     |                                                     ++++

warning: `zokrates_pest_ast` (lib) generated 1 warning
    Checking circ_fields v0.1.0 (/Users/kmerrill/Documents/image-processing-age-verif/circ/circ_fields)
    Checking rug-polynomial v0.2.5
error: hiding a lifetime that's elided elsewhere is confusing
   --> circ_fields/src/lib.rs:317:17
    |
317 |     fn full_cow(&self) -> std::borrow::Cow<FullFieldV> {
    |                 ^^^^^     ---------------------------- the same lifetime is hidden here
    |                 |
    |                 the lifetime is elided here
    |
    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
note: the lint level is defined here
   --> circ_fields/src/lib.rs:4:9
    |
4   | #![deny(warnings)]
    |         ^^^^^^^^
    = note: `#[deny(mismatched_lifetime_syntaxes)]` implied by `#[deny(warnings)]`
help: use `'_` for type paths
    |
317 |     fn full_cow(&self) -> std::borrow::Cow<'_, FullFieldV> {
    |                                            +++

error: could not compile `circ_fields` (lib) due to 1 previous error
The command
	cargo check --tests --examples --benches --bins --features poly,bellman,zok,r1cs
failed with exit code 101

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions