diff --git a/crates/compiler/load/tests/test_reporting.rs b/crates/compiler/load/tests/test_reporting.rs index 9cf2f4bccc..331eee480b 100644 --- a/crates/compiler/load/tests/test_reporting.rs +++ b/crates/compiler/load/tests/test_reporting.rs @@ -9798,7 +9798,7 @@ In roc, functions are always written as a lambda, like{} Only builtin abilities can be derived. - Note: The builtin abilities are `Encoding`, `Decoding`, `Hash`, `Eq` + Note: The builtin abilities are `Encoding`, `Decoding`, `Hash`, `Eq`, `Inspect` "### ); diff --git a/crates/compiler/module/src/symbol.rs b/crates/compiler/module/src/symbol.rs index bbd130d326..7fee728ad4 100644 --- a/crates/compiler/module/src/symbol.rs +++ b/crates/compiler/module/src/symbol.rs @@ -53,7 +53,10 @@ pub const DERIVABLE_ABILITIES: &[(Symbol, &[Symbol])] = &[ (Symbol::DECODE_DECODING, &[Symbol::DECODE_DECODER]), (Symbol::HASH_HASH_ABILITY, &[Symbol::HASH_HASH]), (Symbol::BOOL_EQ, &[Symbol::BOOL_IS_EQ]), - (Symbol::INSPECT_INSPECT, &[Symbol::INSPECT_TO_INSPECTOR]), + ( + Symbol::INSPECT_INSPECT_ABILITY, + &[Symbol::INSPECT_TO_INSPECTOR], + ), ]; /// In Debug builds only, Symbol has a name() method that lets diff --git a/crates/compiler/solve/src/ability.rs b/crates/compiler/solve/src/ability.rs index 36eac7736a..33de269a9f 100644 --- a/crates/compiler/solve/src/ability.rs +++ b/crates/compiler/solve/src/ability.rs @@ -854,7 +854,7 @@ trait DerivableVisitor { struct DeriveInspect; impl DerivableVisitor for DeriveInspect { - const ABILITY: Symbol = Symbol::INSPECT_INSPECT; + const ABILITY: Symbol = Symbol::INSPECT_INSPECT_ABILITY; const ABILITY_SLICE: SubsSlice = Subs::AB_INSPECT; #[inline(always)] diff --git a/crates/compiler/types/src/subs.rs b/crates/compiler/types/src/subs.rs index 07dda6b003..7b3f6abf28 100644 --- a/crates/compiler/types/src/subs.rs +++ b/crates/compiler/types/src/subs.rs @@ -1756,7 +1756,7 @@ impl Subs { symbol_names.push(Symbol::HASH_HASHER); symbol_names.push(Symbol::HASH_HASH_ABILITY); symbol_names.push(Symbol::BOOL_EQ); - symbol_names.push(Symbol::INSPECT_INSPECT); + symbol_names.push(Symbol::INSPECT_INSPECT_ABILITY); // END INIT-SymbolNames // IFTTT INIT-VariableSubsSlice