HVM core error

gistfile1.txt

cargo +nightly bench
   Compiling proc-macro2 v1.0.69
   Compiling unicode-ident v1.0.12
   Compiling autocfg v1.1.0
   Compiling libc v0.2.149
   Compiling cfg-if v1.0.0
   Compiling crossbeam-utils v0.8.16
   Compiling either v1.9.0
   Compiling utf8parse v0.2.1
   Compiling version_check v0.9.4
   Compiling serde v1.0.189
   Compiling anstyle-parse v0.2.2
   Compiling once_cell v1.18.0
   Compiling memoffset v0.9.0
   Compiling crossbeam-epoch v0.9.15
   Compiling ahash v0.8.3
   Compiling anstyle v1.0.4
   Compiling anstyle-query v1.0.0
   Compiling scopeguard v1.2.0
   Compiling colorchoice v1.0.0
   Compiling anstream v0.6.4
   Compiling num-traits v0.2.17
   Compiling heck v0.4.1
   Compiling quote v1.0.33
   Compiling beef v0.5.2
   Compiling syn v2.0.38
   Compiling rustix v0.38.19
   Compiling serde_json v1.0.107
   Compiling regex-syntax v0.6.29
   Compiling clap_lex v0.5.1
   Compiling cc v1.0.83
   Compiling strsim v0.10.0
   Compiling syn v1.0.109
   Compiling fnv v1.0.7
   Compiling rayon-core v1.12.0
   Compiling crossbeam-deque v0.8.3
   Compiling errno v0.3.5
   Compiling clap_builder v4.4.6
   Compiling psm v0.1.21
   Compiling stacker v0.1.15
   Compiling logos-codegen v0.13.0
   Compiling plotters-backend v0.3.5
   Compiling regex-syntax v0.8.2
   Compiling bitflags v2.4.1
   Compiling itoa v1.0.9
   Compiling half v1.8.2
   Compiling ciborium-io v0.2.1
   Compiling ryu v1.0.15
   Compiling ciborium-ll v0.2.1
   Compiling plotters-svg v0.3.5
   Compiling itertools v0.8.2
   Compiling serde_derive v1.0.189
   Compiling clap_derive v4.4.2
   Compiling logos-derive v0.13.0
   Compiling regex-automata v0.4.3
   Compiling hashbrown v0.13.2
   Compiling itertools v0.10.5
   Compiling bitflags v1.3.2
   Compiling lazy_static v1.4.0
   Compiling same-file v1.0.6
   Compiling cast v0.3.0
   Compiling equivalent v1.0.1
   Compiling hashbrown v0.14.2
   Compiling clap v4.4.6
   Compiling linked-hash-map v0.5.6
   Compiling indexmap v2.1.0
   Compiling yaml-rust v0.4.5
   Compiling criterion-plot v0.5.0
   Compiling shrinkwraprs v0.3.0
   Compiling regex v1.10.2
   Compiling walkdir v2.4.0
   Compiling console v0.15.7
   Compiling chumsky v1.0.0-alpha.4
   Compiling rayon v1.8.0
   Compiling logos v0.13.0
   Compiling plotters v0.3.5
   Compiling is-terminal v0.4.9
   Compiling itertools v0.11.0
   Compiling anes v0.1.6
   Compiling similar v2.3.0
   Compiling hvm-core v0.2.7 (/Users/zamazan4ik/open_source/hvm-core)
   Compiling oorandom v11.1.3
   Compiling insta v1.34.0
   Compiling ciborium v0.2.1
   Compiling tinytemplate v1.2.1
   Compiling criterion v0.5.1
   Compiling hvm-lang v0.1.0 (https://github.com/HigherOrderCO/hvm-lang.git#74f29c14)
error[E0106]: missing lifetime specifier
  --> benches/benches.rs:11:64
   |
11 | fn load_from_core<P: AsRef<Path>>(file: P) -> (run::Book, run::Net) {
   |                                                                ^^^ expected named lifetime parameter
   |
   = help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
help: consider using the `'static` lifetime
   |
11 | fn load_from_core<P: AsRef<Path>>(file: P) -> (run::Book, run::Net<'static>) {
   |                                                                   +++++++++

error[E0106]: missing lifetime specifier
  --> benches/benches.rs:24:64
   |
24 | fn load_from_lang<P: AsRef<Path>>(file: P) -> (run::Book, run::Net) {
   |                                                                ^^^ expected named lifetime parameter
   |
   = help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
help: consider using the `'static` lifetime
   |
24 | fn load_from_lang<P: AsRef<Path>>(file: P) -> (run::Book, run::Net<'static>) {
   |                                                                   +++++++++

error[E0433]: failed to resolve: use of undeclared crate or module `hvm_lang`
  --> benches/benches.rs:28:18
   |
28 |   let mut book = hvm_lang::term::parser::parse_definition_book(&code).unwrap();
   |                  ^^^^^^^^ use of undeclared crate or module `hvm_lang`
   |
help: consider importing one of these items
   |
1  + use hvml::term::parser;
   |
1  + use hvml::term::parser::parser;
   |
help: if you import `parser`, refer to it directly
   |
28 -   let mut book = hvm_lang::term::parser::parse_definition_book(&code).unwrap();
28 +   let mut book = parser::parse_definition_book(&code).unwrap();
   |

error[E0422]: cannot find struct, variant or union type `Ctr` in this scope
   --> benches/benches.rs:155:23
    |
155 |     ("era-con", (Era, Ctr { lab: 0, lft: Era.into(), rgt: Era.into() })),
    |                       ^^^ not found in this scope
    |
help: consider importing this variant
    |
1   + use hvml::term::RulePat::Ctr;
    |

error[E0422]: cannot find struct, variant or union type `Ctr` in this scope
   --> benches/benches.rs:156:19
    |
156 |     ("con-con", ((Ctr { lab: 0, lft: Era.into(), rgt: Era.into() }), Ctr { lab: 0, lft: Era.into(), rgt: Era.into() })),
    |                   ^^^ not found in this scope
    |
help: consider importing this variant
    |
1   + use hvml::term::RulePat::Ctr;
    |

error[E0422]: cannot find struct, variant or union type `Ctr` in this scope
   --> benches/benches.rs:156:70
    |
156 |     ("con-con", ((Ctr { lab: 0, lft: Era.into(), rgt: Era.into() }), Ctr { lab: 0, lft: Era.into(), rgt: Era.into() })),
    |                                                                      ^^^ not found in this scope
    |
help: consider importing this variant
    |
1   + use hvml::term::RulePat::Ctr;
    |

error[E0422]: cannot find struct, variant or union type `Ctr` in this scope
   --> benches/benches.rs:157:19
    |
157 |     ("con-dup", ((Ctr { lab: 0, lft: Era.into(), rgt: Era.into() }), Ctr { lab: 2, lft: Era.into(), rgt: Era.into() })),
    |                   ^^^ not found in this scope
    |
help: consider importing this variant
    |
1   + use hvml::term::RulePat::Ctr;
    |

error[E0422]: cannot find struct, variant or union type `Ctr` in this scope
   --> benches/benches.rs:157:70
    |
157 |     ("con-dup", ((Ctr { lab: 0, lft: Era.into(), rgt: Era.into() }), Ctr { lab: 2, lft: Era.into(), rgt: Era.into() })),
    |                                                                      ^^^ not found in this scope
    |
help: consider importing this variant
    |
1   + use hvml::term::RulePat::Ctr;
    |

error[E0308]: mismatched types
   --> benches/benches.rs:18:31
    |
18  |   let mut net = run::Net::new(size);
    |                 ------------- ^^^^ expected `&[(APtr, APtr)]`, found `usize`
    |                 |
    |                 arguments to this function are incorrect
    |
    = note: expected reference `&[(APtr, APtr)]`
                    found type `usize`
note: associated function defined here
   --> /Users/zamazan4ik/open_source/hvm-core/src/run.rs:400:10
    |
400 |   pub fn new(data: &'a Data) -> Self {
    |          ^^^

error[E0308]: mismatched types
   --> benches/benches.rs:19:12
    |
19  |   net.boot(name_to_val("main"));
    |       ---- ^^^^^^^^^^^^^^^^^^^ expected `u32`, found `u64`
    |       |
    |       arguments to this method are incorrect
    |
note: method defined here
   --> /Users/zamazan4ik/open_source/hvm-core/src/run.rs:414:10
    |
414 |   pub fn boot(&mut self, root_id: Loc) {
    |          ^^^^
help: you can convert a `u64` to a `u32` and panic if the converted value doesn't fit
    |
19  |   net.boot(name_to_val("main").try_into().unwrap());
    |                               ++++++++++++++++++++

error[E0433]: failed to resolve: use of undeclared crate or module `hvm_lang`
  --> benches/benches.rs:29:19
   |
29 |   let (book, _) = hvm_lang::compile_book(&mut book).unwrap();
   |                   ^^^^^^^^ use of undeclared crate or module `hvm_lang`

error[E0308]: mismatched types
   --> benches/benches.rs:32:31
    |
32  |   let mut net = run::Net::new(size);
    |                 ------------- ^^^^ expected `&[(APtr, APtr)]`, found `usize`
    |                 |
    |                 arguments to this function are incorrect
    |
    = note: expected reference `&[(APtr, APtr)]`
                    found type `usize`
note: associated function defined here
   --> /Users/zamazan4ik/open_source/hvm-core/src/run.rs:400:10
    |
400 |   pub fn new(data: &'a Data) -> Self {
    |          ^^^

error[E0308]: mismatched types
   --> benches/benches.rs:33:12
    |
33  |   net.boot(name_to_val("main"));
    |       ---- ^^^^^^^^^^^^^^^^^^^ expected `u32`, found `u64`
    |       |
    |       arguments to this method are incorrect
    |
note: method defined here
   --> /Users/zamazan4ik/open_source/hvm-core/src/run.rs:414:10
    |
414 |   pub fn boot(&mut self, root_id: Loc) {
    |          ^^^^
help: you can convert a `u64` to a `u32` and panic if the converted value doesn't fit
    |
33  |   net.boot(name_to_val("main").try_into().unwrap());
    |                               ++++++++++++++++++++

error[E0599]: no method named `clone` found for struct `hvmc::run::Net` in the current scope
   --> benches/benches.rs:103:14
    |
103 |       || net.clone(),
    |              ^^^^^ method not found in `Net<'_>`

error[E0599]: no method named `clone` found for struct `hvmc::run::Net` in the current scope
   --> benches/benches.rs:115:14
    |
115 |       || net.clone(),
    |              ^^^^^ method not found in `Net<'_>`

error[E0308]: mismatched types
   --> benches/benches.rs:161:33
    |
161 |     let mut net = run::Net::new(10);
    |                   ------------- ^^ expected `&[(APtr, APtr)]`, found integer
    |                   |
    |                   arguments to this function are incorrect
    |
    = note: expected reference `&[(APtr, APtr)]`
                    found type `{integer}`
note: associated function defined here
   --> /Users/zamazan4ik/open_source/hvm-core/src/run.rs:400:10
    |
400 |   pub fn new(data: &'a Data) -> Self {
    |          ^^^

error[E0599]: no method named `clone` found for struct `hvmc::run::Net` in the current scope
   --> benches/benches.rs:167:16
    |
167 |         || net.clone(),
    |                ^^^^^ method not found in `Net<'_>`

Some errors have detailed explanations: E0106, E0308, E0422, E0433, E0599.
For more information about an error, try `rustc --explain E0106`.
error: could not compile `hvm-core` (bench "benches") due to 17 previous errors