fix tests and stdlib

anoma · Nov 4, 2024 · 7ee7d24 · 7ee7d24
1 parent 1a24705
commit 7ee7d24
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 12 deletions.
diff --git a/tests/Anoma/Compilation/positive/test060.juvix b/tests/Anoma/Compilation/positive/test060.juvix
@@ -26,11 +26,11 @@ main : Triple Nat Nat Nat :=
     p : Triple Nat Nat Nat := mkTriple 2 2 2;
     p' : Triple Nat Nat Nat :=
       p@Triple{
-        fst := fst + 1;
-        snd := snd * 3 + thd + fst
+        fst := @fst + 1;
+        snd := @snd * 3 + @thd + @fst
       };
     f : Triple Nat Nat Nat -> Triple Nat Nat Nat :=
-      (@Triple{fst := fst * 10});
+      (@Triple{fst := @fst * 10});
   in ite
     (mf
       mkPair@{

diff --git a/tests/Casm/Compilation/positive/test060.juvix b/tests/Casm/Compilation/positive/test060.juvix
@@ -29,11 +29,11 @@ main : Nat :=
     p : Triple Nat Nat Nat := mkTriple 2 2 2;
     p' : Triple Nat Nat Nat :=
       p@Triple{
-        fst := fst + 1;
-        snd := snd * 3 + thd + fst
+        fst := @fst + 1;
+        snd := @snd * 3 + @thd + @fst
       };
     f : Triple Nat Nat Nat -> Triple Nat Nat Nat :=
-      (@Triple{fst := fst * 10});
+      (@Triple{fst := @fst * 10});
   in sum <| ite
     (mf
       mkPair@{

diff --git a/tests/Compilation/positive/test060.juvix b/tests/Compilation/positive/test060.juvix
@@ -24,8 +24,8 @@ mf : Pair' (Pair' Bool (List Nat)) (List Nat) → Bool
 main : Triple Nat Nat Nat :=
   let
     p : Triple Nat Nat Nat := mkTriple 2 2 2;
-    p' : Triple Nat Nat Nat := p@Triple{fst := fst + 1; snd := snd * 3 + thd + fst};
-    f : Triple Nat Nat Nat -> Triple Nat Nat Nat := (@Triple{fst := fst * 10});
+    p' : Triple Nat Nat Nat := p@Triple{fst := @fst + 1; snd := @snd * 3 + @thd + @fst};
+    f : Triple Nat Nat Nat -> Triple Nat Nat Nat := (@Triple{fst := @fst * 10});
     pp :=
       mkPair@{
         fst :=

diff --git a/tests/Rust/Compilation/positive/test060.juvix b/tests/Rust/Compilation/positive/test060.juvix
@@ -29,11 +29,11 @@ main : Nat :=
     p : Triple Nat Nat Nat := mkTriple 2 2 2;
     p' : Triple Nat Nat Nat :=
       p@Triple{
-        fst := fst + 1;
-        snd := snd * 3 + thd + fst
+        fst := @fst + 1;
+        snd := @snd * 3 + @thd + @fst
       };
     f : Triple Nat Nat Nat -> Triple Nat Nat Nat :=
-      (@Triple{fst := fst * 10});
+      (@Triple{fst := @fst * 10});
   in sum <| ite
     (mf
       mkPair@{

diff --git a/tests/positive/Records2.juvix b/tests/positive/Records2.juvix
@@ -11,4 +11,4 @@ type Pair (A B : Type) :=
 main : Pair Nat Nat :=
   let
     p : Pair Nat Nat := mkPair 2 2;
-  in p@Pair{pfst := pfst + psnd};
+  in p@Pair{pfst := @pfst + @psnd};