Typechecker not working about hacspec HOT 7 CLOSED

Hi Raul, thanks for submitting this issue ! I think what you're experiencing right here is the clunkiness of the current CLI of hacspec, which has been reported in #42. The PR #52 is working on fixing that, but in the meantime let's find a way to solve your problem.

It seems that the error that you get is cause by the fact that you're running cargo run from outside of the language directory of Hacspec. Could you try and re-run this command from the language directory ?

from hacspec.

I ran from the language directory and now is giving me a different error:

"error[E0514]: found crate hacspec_lib compiled by an incompatible version of rustc
--> /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/spec_test/src/main.rs:1:5
|
1 | use hacspec_lib::*;
| ^^^^^^^^^^^
|
= help: please recompile that crate using this compiler (rustc 1.49.0-nightly (ffa2e7ae8 2020-10-24))
= note: the following crate versions were found:
crate hacspec_lib compiled by rustc 1.47.0 (18bf6b4f0 2020-10-07): /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/hacspec/target/debug/deps/libhacspec_lib-0cac07a3af93ca78.rmeta
crate hacspec_lib compiled by rustc 1.47.0 (18bf6b4f0 2020-10-07): /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/hacspec/target/debug/deps/libhacspec_lib-0cac07a3af93ca78.rlib
crate hacspec_lib compiled by rustc 1.47.0 (18bf6b4f0 2020-10-07): /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/spec_test/target/debug/deps/libhacspec_lib-fff1ebd6fac727a2.rmeta
crate hacspec_lib compiled by rustc 1.47.0 (18bf6b4f0 2020-10-07): /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/spec_test/target/debug/deps/libhacspec_lib-fff1ebd6fac727a2.rlib

error: aborting due to previous error"

from hacspec.

Ok, wer're getting some progress. This problem is tied to the fact that the hacspec compiler can only be run with nightly Rust. So to go past those messages, do cargo clean inside the hacspec directory, then run cargo build in hacspec/language. That should recompile hacspec_lib using nightly and not stable Rust.

from hacspec.

It still gives me an error but now it seems it's only about two versions:

"error[E0514]: found crate hacspec_lib compiled by an incompatible version of rustc
--> /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/spec_test/src/main.rs:1:5
|
1 | use hacspec_lib::*;
| ^^^^^^^^^^^
|
= help: please recompile that crate using this compiler (rustc 1.49.0-nightly (ffa2e7ae8 2020-10-24))
= note: the following crate versions were found:
crate hacspec_lib compiled by rustc 1.47.0 (18bf6b4f0 2020-10-07): /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/spec_test/target/debug/deps/libhacspec_lib-fff1ebd6fac727a2.rmeta
crate hacspec_lib compiled by rustc 1.47.0 (18bf6b4f0 2020-10-07): /Users/raulmendiratta/Documents/Universidade/TESE/projects/hacspec_test/spec_test/target/debug/deps/libhacspec_lib-fff1ebd6fac727a2.rlib

error: aborting due to previous error"

from hacspec.

That's because hacspec_test/spec_test also contains a compiled version of hacspec_lib. Go to hacspec_test/spec_test and do cargo clean, than cargo +nightly build. Then go to hacspec/language and do cargo clean, then do cargo run ...

from hacspec.

The annoyance comes from interacting correctly with the Rust compiler and cargo, which hacspec does not do super well. #52 should improve that when it's merged.

from hacspec.

Ok it worked!! Thank you!! 👍

from hacspec.