✔ Symbol::GENERIC_COPY_REF not found · compiler development

Stream: compiler development

Topic: ✔ Symbol::GENERIC_COPY_REF not found

Joshua Warner (Aug 13 2024 at 04:59):

A month or so ago I started seeing the following error when running cargo check --all --all-targets - is this known?

error[E0599]: no associated item named `GENERIC_COPY_REF` found for struct `roc_module::symbol::Symbol` in the current scope
   --> crates/compiler/gen_llvm/src/llvm/bitcode.rs:749:26
    |
749 |     let symbol = Symbol::GENERIC_COPY_REF;
    |                          ^^^^^^^^^^^^^^^^
    |                          |
    |                          associated item not found in `Symbol`
    |                          help: there is an associated constant with a similar name: `GENERIC_COMPARE_REF`
    |
note: if you're trying to build a new `roc_module::symbol::Symbol`, consider using `roc_module::symbol::Symbol::new` which returns `roc_module::symbol::Symbol`

Brendan Hansknecht (Aug 13 2024 at 05:43):

Intriguing. GENERIC_COPY_REF exists. It is defined here: https://github.com/roc-lang/roc/blob/main/crates/compiler/module/src/symbol.rs#L1178

Brendan Hansknecht (Aug 13 2024 at 05:44):

I must have missed something when I added it...not sure what though.

Brendan Hansknecht (Aug 13 2024 at 05:45):

I see no difference between GENERIC_COPY_REF and GENERIC_RC_REF in definition and use. Yet you see no error for GENERIC_RC_REF

Brendan Hansknecht (Aug 13 2024 at 05:47):

Though cargo check --all --all-targets doesn't generate any errors for me

Brendan Hansknecht (Aug 13 2024 at 05:47):

Do you have an old version of rust?

Brendan Hansknecht (Aug 13 2024 at 05:47):

$ cargo --version
cargo 1.77.2 (e52e36006 2024-03-26)

Joshua Warner (Aug 13 2024 at 05:48):

Same cargo version: cargo 1.77.2 (e52e36006 2024-03-26)

Joshua Warner (Aug 13 2024 at 05:49):

Strange!

Brendan Hansknecht (Aug 13 2024 at 05:51):

Oh, interesting. I see multiple errors on linux. None on macos.

For example see this:

oc_exhaustive v0.0.1 (/home/bren077s/Projects/roc-misc/roc/crates/compiler/exhaustive)
error[E0004]: non-exhaustive patterns: `roc_module::called_via::BinOp::Assignment`, `roc_module::called_via::BinOp::IsAliasType`, `roc_module::called_via::BinOp::IsOpaqueType` and 1 more not covered
   --> crates/compiler/fmt/src/expr.rs:657:11
    |
657 |     match op {
    |           ^^ patterns `roc_module::called_via::BinOp::Assignment`, `roc_module::called_via::BinOp::IsAliasType`, `roc_module::called_via::BinOp::IsOpaqueType` and 1 more not covered
    |