Fix tests now that for comes from Foldable trait

anoma · Jul 31, 2024 · 64f7ade · 64f7ade
1 parent f2d6ef2
commit 64f7ade
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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