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

flip list.walk passed function arguments

Browse source
This commit is contained in:
Folkert 2021-10-10 12:35:03 +02:00
parent 94e8c62613
commit ebcee4021c
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/mono/src/borrow.rs
View file

@ -696,14 +696,14 @@ impl<'a> BorrowInfState<'a> {
ListWalk | ListWalkUntil | ListWalkBackwards | DictWalk => {
match param_map.get_symbol(arguments[2], closure_layout) {
Some(function_ps) => {
// own the data structure if the function wants to own the element
// own the default value if the function wants to own it
if !function_ps[0].borrow {
self.own_var(arguments[0]);
self.own_var(arguments[1]);
}
// own the default value if the function wants to own it
// own the data structure if the function wants to own the element
if !function_ps[1].borrow {
self.own_var(arguments[1]);
self.own_var(arguments[0]);
}
// own the closure environment if the function needs to own it

4
compiler/mono/src/inc_dec.rs
View file

@ -643,8 +643,8 @@ impl<'a> Context<'a> {
// borrow data structure based on first argument of the folded function
// borrow the default based on second argument of the folded function
let borrows = [
function_ps[0].borrow,
function_ps[1].borrow,
function_ps[0].borrow,
FUNCTION,
CLOSURE_DATA,
];
@ -656,7 +656,7 @@ impl<'a> Context<'a> {
b_live_vars,
);
let b = decref_if_owned!(function_ps[0].borrow, arguments[0], b);
let b = decref_if_owned!(function_ps[1].borrow, arguments[0], b);
let v = create_call!(function_ps.get(2));