Do not alias ClosureData.fx_type in pattern matches

This commit is contained in:
Agus Zubiaga 2024-10-27 14:29:36 -03:00
parent b31b30c468
commit dae10d10fb
No known key found for this signature in database
2 changed files with 4 additions and 4 deletions

View file

@ -465,7 +465,7 @@ fn deep_copy_expr_help<C: CopyEnv>(env: &mut C, copied: &mut Vec<Variable>, expr
function_type, function_type,
closure_type, closure_type,
return_type, return_type,
fx_type: effect_type, fx_type,
early_returns, early_returns,
name, name,
captured_symbols, captured_symbols,
@ -476,7 +476,7 @@ fn deep_copy_expr_help<C: CopyEnv>(env: &mut C, copied: &mut Vec<Variable>, expr
function_type: sub!(*function_type), function_type: sub!(*function_type),
closure_type: sub!(*closure_type), closure_type: sub!(*closure_type),
return_type: sub!(*return_type), return_type: sub!(*return_type),
fx_type: sub!(*effect_type), fx_type: sub!(*fx_type),
early_returns: early_returns early_returns: early_returns
.iter() .iter()
.map(|(var, region)| (sub!(*var), *region)) .map(|(var, region)| (sub!(*var), *region))

View file

@ -2325,7 +2325,7 @@ pub fn inline_calls(var_store: &mut VarStore, expr: Expr) -> Expr {
function_type, function_type,
closure_type, closure_type,
return_type, return_type,
fx_type: effect_type, fx_type,
early_returns, early_returns,
recursive, recursive,
name, name,
@ -2343,7 +2343,7 @@ pub fn inline_calls(var_store: &mut VarStore, expr: Expr) -> Expr {
function_type, function_type,
closure_type, closure_type,
return_type, return_type,
fx_type: effect_type, fx_type,
early_returns, early_returns,
recursive, recursive,
name, name,