hacspec
hacspec copied to clipboard
typechecker module imports "identifier is not a constant"
Including enums from a different module doesn't work. failing test that produces the following output.
error[Hacspec]: identifier is not a constant
--> /Users/franziskus/repos/hacspec/language/test-crate/src/submod1/another_submod1_file.rs:8:5
|
8 | Result::<(), Error>::Err(Error::First)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cc @cmester0
CI: https://github.com/hacspec/hacspec/runs/5278284608?check_suite_focus=true