diff --git a/compiler/can/src/expr.rs b/compiler/can/src/expr.rs index 8e40ac2ad7..4116a51128 100644 --- a/compiler/can/src/expr.rs +++ b/compiler/can/src/expr.rs @@ -60,7 +60,6 @@ pub enum Expr { Float(Variable, Variable, f64), Str(InlinableString), List { - list_var: Variable, // required for uniqueness of the list elem_var: Variable, loc_elems: Vec>, }, @@ -304,7 +303,6 @@ pub fn canonicalize_expr<'a>( if loc_elems.is_empty() { ( List { - list_var: var_store.fresh(), elem_var: var_store.fresh(), loc_elems: Vec::new(), }, @@ -331,7 +329,6 @@ pub fn canonicalize_expr<'a>( ( List { - list_var: var_store.fresh(), elem_var: var_store.fresh(), loc_elems: can_elems, }, @@ -1234,7 +1231,6 @@ pub fn inline_calls(var_store: &mut VarStore, scope: &mut Scope, expr: Expr) -> | other @ ForeignCall { .. } => other, List { - list_var, elem_var, loc_elems, } => { @@ -1250,7 +1246,6 @@ pub fn inline_calls(var_store: &mut VarStore, scope: &mut Scope, expr: Expr) -> } List { - list_var, elem_var, loc_elems: new_elems, } diff --git a/compiler/constrain/src/expr.rs b/compiler/constrain/src/expr.rs index ab5a9e15ca..05dff22dd7 100644 --- a/compiler/constrain/src/expr.rs +++ b/compiler/constrain/src/expr.rs @@ -220,7 +220,6 @@ pub fn constrain_expr( List { elem_var, loc_elems, - list_var: _unused, } => { if loc_elems.is_empty() { exists( diff --git a/compiler/mono/src/ir.rs b/compiler/mono/src/ir.rs index c021a11676..58e9ab1f3a 100644 --- a/compiler/mono/src/ir.rs +++ b/compiler/mono/src/ir.rs @@ -3393,7 +3393,6 @@ pub fn with_hole<'a>( } List { - list_var: _, elem_var, loc_elems, } => {