Fix smoke tests

anoma · Jun 25, 2024 · 68dcd72 · 68dcd72
1 parent ff98ad2
commit 68dcd72
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 12 deletions.
diff --git a/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml b/tests/smoke/Commands/compile-dependencies-package-juvix.smoke.yaml
@@ -268,7 +268,7 @@ tests:
         module HelloDep;
         import Stdlib.Prelude open;
         import HelloDep2 open;
-        main : IO := printStringLn "Hello from dep1" >> printStringLn hello;
+        main : IO := printStringLn "Hello from dep1" >>> printStringLn hello;
         EOF
 
         cat <<-EOF > Package.juvix
@@ -352,7 +352,7 @@ tests:
         module HelloDep;
         import HelloDep2 open;
         import Stdlib.Prelude open;
-        main : IO := printStringLn "This is from the second commit" >> printStringLn hello;
+        main : IO := printStringLn "This is from the second commit" >>> printStringLn hello;
         EOF
 
         git add -A
@@ -607,7 +607,7 @@ tests:
         module HelloDep;
         import Stdlib.Prelude open;
         import HelloDep2 open;
-        main : IO := printStringLn "Hello from dep1" >> printStringLn hello;
+        main : IO := printStringLn "Hello from dep1" >>> printStringLn hello;
         EOF
 
         cat <<-EOF > Package.juvix

diff --git a/tests/smoke/Commands/compile-dependencies.smoke.yaml b/tests/smoke/Commands/compile-dependencies.smoke.yaml
@@ -252,7 +252,7 @@ tests:
         module HelloDep;
         import Stdlib.Prelude open;
         import HelloDep2 open;
-        main : IO := printStringLn "Hello from dep1" >> printStringLn hello;
+        main : IO := printStringLn "Hello from dep1" >>> printStringLn hello;
         EOF
 
         cat <<-EOF > juvix.yaml
@@ -328,7 +328,7 @@ tests:
         module HelloDep;
         import HelloDep2 open;
         import Stdlib.Prelude open;
-        main : IO := printStringLn "This is from the second commit" >> printStringLn hello;
+        main : IO := printStringLn "This is from the second commit" >>> printStringLn hello;
         EOF
 
         git add -A
@@ -571,7 +571,7 @@ tests:
         module HelloDep;
         import Stdlib.Prelude open;
         import HelloDep2 open;
-        main : IO := printStringLn "Hello from dep1" >> printStringLn hello;
+        main : IO := printStringLn "Hello from dep1" >>> printStringLn hello;
         EOF
 
         cat <<-EOF > juvix.yaml

diff --git a/tests/smoke/Commands/dev/repl.smoke.yaml b/tests/smoke/Commands/dev/repl.smoke.yaml
@@ -243,7 +243,7 @@ tests:
       - repl
     args:
       - positive/issue1731/builtinTrace.juvix
-    stdin: trace 2 >>> printNatLn 3
+    stdin: trace 2 >-> printNatLn 3
     stdout:
       contains: |
         3

diff --git a/tests/smoke/Commands/repl.smoke.yaml b/tests/smoke/Commands/repl.smoke.yaml
@@ -71,23 +71,23 @@ tests:
       - juvix
       - repl
       - ../examples/milestone/HelloWorld/HelloWorld.juvix
-    stdin: ":def >> (>>) (((>>)))"
+    stdin: ":def >>> (>>>) (((>>>)))"
     stdout:
       contains: |
         builtin IO-sequence
-        axiom >> : IO → IO → IO
+        axiom >>> : IO → IO → IO
     exit-status: 0
 
   - name: repl-def-infix
     command:
       - juvix
       - repl
       - ../examples/milestone/HelloWorld/HelloWorld.juvix
-    stdin: ":def >>"
+    stdin: ":def >>>"
     stdout:
       contains: |
         builtin IO-sequence
-        axiom >> : IO → IO → IO
+        axiom >>> : IO → IO → IO
     exit-status: 0
 
   - name: open
@@ -295,7 +295,7 @@ tests:
       - repl
     args:
       - positive/issue1731/builtinTrace.juvix
-    stdin: trace 2 >>> printNatLn 3
+    stdin: trace 2 >-> printNatLn 3
     stdout:
       contains: |
         3