From ab7f4a70a1d17adcd9281c789cb2c54deade238c Mon Sep 17 00:00:00 2001
From: Folkert <folkert@folkertdev.nl>
Date: Sun, 13 Jun 2021 16:56:59 +0200
Subject: [PATCH] remove list_var

---
 compiler/can/src/expr.rs       | 5 -----
 compiler/constrain/src/expr.rs | 1 -
 compiler/mono/src/ir.rs        | 1 -
 3 files changed, 7 deletions(-)

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<Located<Expr>>,
     },
@@ -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,
         } => {