remove list_var

This commit is contained in:
Folkert 2021-06-13 16:56:59 +02:00
parent 02bc0036ab
commit ab7f4a70a1
3 changed files with 0 additions and 7 deletions

View file

@ -60,7 +60,6 @@ pub enum Expr {
Float(Variable, Variable, f64), Float(Variable, Variable, f64),
Str(InlinableString), Str(InlinableString),
List { List {
list_var: Variable, // required for uniqueness of the list
elem_var: Variable, elem_var: Variable,
loc_elems: Vec<Located<Expr>>, loc_elems: Vec<Located<Expr>>,
}, },
@ -304,7 +303,6 @@ pub fn canonicalize_expr<'a>(
if loc_elems.is_empty() { if loc_elems.is_empty() {
( (
List { List {
list_var: var_store.fresh(),
elem_var: var_store.fresh(), elem_var: var_store.fresh(),
loc_elems: Vec::new(), loc_elems: Vec::new(),
}, },
@ -331,7 +329,6 @@ pub fn canonicalize_expr<'a>(
( (
List { List {
list_var: var_store.fresh(),
elem_var: var_store.fresh(), elem_var: var_store.fresh(),
loc_elems: can_elems, loc_elems: can_elems,
}, },
@ -1234,7 +1231,6 @@ pub fn inline_calls(var_store: &mut VarStore, scope: &mut Scope, expr: Expr) ->
| other @ ForeignCall { .. } => other, | other @ ForeignCall { .. } => other,
List { List {
list_var,
elem_var, elem_var,
loc_elems, loc_elems,
} => { } => {
@ -1250,7 +1246,6 @@ pub fn inline_calls(var_store: &mut VarStore, scope: &mut Scope, expr: Expr) ->
} }
List { List {
list_var,
elem_var, elem_var,
loc_elems: new_elems, loc_elems: new_elems,
} }

View file

@ -220,7 +220,6 @@ pub fn constrain_expr(
List { List {
elem_var, elem_var,
loc_elems, loc_elems,
list_var: _unused,
} => { } => {
if loc_elems.is_empty() { if loc_elems.is_empty() {
exists( exists(

View file

@ -3393,7 +3393,6 @@ pub fn with_hole<'a>(
} }
List { List {
list_var: _,
elem_var, elem_var,
loc_elems, loc_elems,
} => { } => {