Fix broken tests (#452)

polarity-lang · Jan 16, 2025 · 6a36511 · 6a36511
1 parent ab3533a
commit 6a36511
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/lang/elaborator/src/conversion_checking/mod.rs b/lang/elaborator/src/conversion_checking/mod.rs
@@ -124,11 +124,11 @@ mod test {
         };
         let ctx = vec![vec![
             Binder {
-                name: VarBind { span: None, id: "a".to_string() },
+                name: VarBind::Var { span: None, id: "a".to_string() },
                 typ: Box::new(TypeUniv { span: None }.into()),
             },
             Binder {
-                name: VarBind { span: None, id: "v".to_string() },
+                name: VarBind::Var { span: None, id: "v".to_string() },
                 typ: Box::new(
                     Variable {
                         span: None,
@@ -162,11 +162,11 @@ mod test {
 
         let ctx = vec![vec![
             Binder {
-                name: VarBind { span: None, id: "a".to_string() },
+                name: VarBind::Var { span: None, id: "a".to_string() },
                 typ: Box::new(TypeUniv { span: None }.into()),
             },
             Binder {
-                name: VarBind { span: None, id: "v'".to_string() },
+                name: VarBind::Var { span: None, id: "v'".to_string() },
                 typ: Box::new(
                     Variable {
                         span: None,
@@ -178,7 +178,7 @@ mod test {
                 ),
             },
             Binder {
-                name: VarBind { span: None, id: "v".to_string() },
+                name: VarBind::Var { span: None, id: "v".to_string() },
                 typ: Box::new(
                     Variable {
                         span: None,