From 64f7ade37bb6f7e4b785616bcaf8fc8fcde04960 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 31 Jul 2024 10:36:22 +0100
Subject: [PATCH] Fix tests now that `for` comes from Foldable trait

---
 tests/Anoma/Compilation/positive/test054.juvix | 2 +-
 tests/Anoma/Compilation/positive/test061.juvix | 2 +-
 tests/Casm/Compilation/positive/test054.juvix  | 2 +-
 tests/Compilation/positive/test054.juvix       | 2 +-
 tests/Rust/Compilation/positive/test054.juvix  | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tests/Anoma/Compilation/positive/test054.juvix b/tests/Anoma/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Anoma/Compilation/positive/test054.juvix
+++ b/tests/Anoma/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B
diff --git a/tests/Anoma/Compilation/positive/test061.juvix b/tests/Anoma/Compilation/positive/test061.juvix
index bb26cc849b..f373e2242f 100644
--- a/tests/Anoma/Compilation/positive/test061.juvix
+++ b/tests/Anoma/Compilation/positive/test061.juvix
@@ -38,7 +38,7 @@ tListI {A} {{T A}} : T (List A) :=
   mkT@{
     toNat {A} {{T A}} (xs : List A) : Nat :=
       for (acc := 0) (x in xs)
-        acc + T.toNat x
+        acc + T.toNat {A} x
   };
 
 g : {A : Type} → {{T A}} → Nat := 5;
diff --git a/tests/Casm/Compilation/positive/test054.juvix b/tests/Casm/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Casm/Compilation/positive/test054.juvix
+++ b/tests/Casm/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B
diff --git a/tests/Compilation/positive/test054.juvix b/tests/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Compilation/positive/test054.juvix
+++ b/tests/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B
diff --git a/tests/Rust/Compilation/positive/test054.juvix b/tests/Rust/Compilation/positive/test054.juvix
index 2b1a49c55d..c764cd5135 100644
--- a/tests/Rust/Compilation/positive/test054.juvix
+++ b/tests/Rust/Compilation/positive/test054.juvix
@@ -5,7 +5,7 @@ import Stdlib.Prelude open;
 
 syntax iterator myfor;
 myfor : {A B : Type} → (A → B → A) → A → List B → A :=
-  foldl {_} {_};
+  foldl {_} {_} {{_}} {_};
 
 syntax iterator mymap {init := 0};
 mymap : {A B : Type} → (A → B) → List A → List B