hacspec icon indicating copy to clipboard operation
hacspec copied to clipboard

typechecker module imports "identifier is not a constant"

Open franziskuskiefer opened this issue 2 years ago • 0 comments

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

franziskuskiefer avatar Feb 21 '22 18:02 franziskuskiefer