language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 11:52:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

use INSPECT_INSPECT_ABILITY instead of INSPECT_INSPECT

Browse source
This commit is contained in:
Brendan Hansknecht 2023-11-28 10:05:25 -08:00
parent 6eedd08e5a
commit 82cda1965c
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
4 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/load/tests/test_reporting.rs
View file

@ -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`
"###
);

5
crates/compiler/module/src/symbol.rs
View file

@ -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

2
crates/compiler/solve/src/ability.rs
View file

@ -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<Symbol> = Subs::AB_INSPECT;
#[inline(always)]

2
crates/compiler/types/src/subs.rs
View file

@ -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