language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 14:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Update Dict.walk to match List.walk

Browse source
This commit is contained in:
Richard Feldman 2021-08-30 23:04:49 -04:00
parent 91165e1230
commit 71a678c092
3 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/builtins/src/std.rs
View file

@ -1090,17 +1090,17 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
Box::new(dict_type(flex(TVAR1), flex(TVAR2))), Box::new(dict_type(flex(TVAR1), flex(TVAR2))),
); );
// Dict.walk : Dict k v, (k, v, accum -> accum), accum -> accum // Dict.walk : Dict k v, state, (state, k, v -> state) -> state
add_top_level_function_type!( add_top_level_function_type!(
Symbol::DICT_WALK, Symbol::DICT_WALK,
vec![ vec![
dict_type(flex(TVAR1), flex(TVAR2)), dict_type(flex(TVAR1), flex(TVAR2)),
flex(TVAR3),
closure( closure(
vec![flex(TVAR1), flex(TVAR2), flex(TVAR3)], vec![flex(TVAR3), flex(TVAR1), flex(TVAR2)],
TVAR4, TVAR4,
Box::new(flex(TVAR3)), Box::new(flex(TVAR3)),
), ),
flex(TVAR3),
], ],
Box::new(flex(TVAR3)), Box::new(flex(TVAR3)),
); );

2
compiler/can/src/builtins.rs
View file

@ -2371,7 +2371,7 @@ fn dict_intersection(symbol: Symbol, var_store: &mut VarStore) -> Def {
lowlevel_2(symbol, LowLevel::DictIntersection, var_store) lowlevel_2(symbol, LowLevel::DictIntersection, var_store)
} }
/// Dict.walk : Dict k v, (k, v, accum -> accum), accum -> accum /// Dict.walk : Dict k v, state, (state, k, v -> state) -> state
fn dict_walk(symbol: Symbol, var_store: &mut VarStore) -> Def { fn dict_walk(symbol: Symbol, var_store: &mut VarStore) -> Def {
lowlevel_3(symbol, LowLevel::DictWalk, var_store) lowlevel_3(symbol, LowLevel::DictWalk, var_store)
} }

2
compiler/test_gen/src/gen_dict.rs
View file

@ -502,7 +502,7 @@ fn walk_sum_keys() {
|> Dict.insert 4 4 |> Dict.insert 4 4
|> Dict.insert 5 5 |> Dict.insert 5 5
Dict.walk dict1 (\k, _, a -> k + a) 0 Dict.walk dict1 0 \k, _, a -> k + a
"# "#
), ),
15, 15,