fix smoke tests

anoma · Oct 23, 2024 · f870016 · f870016
1 parent b599cf7
commit f870016
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tests/smoke/Commands/dev/repl.smoke.yaml b/tests/smoke/Commands/dev/repl.smoke.yaml
@@ -68,14 +68,14 @@ tests:
           Stdlib.Prelude> \1
     exit-status: 0
 
-  - name: check-type-null
+  - name: check-type-isEmpty
     command:
       - juvix
       - dev
       - repl
     stdout:
       contains: "{A : Type} -> (list : List A) -> Bool"
-    stdin: ":type null"
+    stdin: ":type isEmpty"
     exit-status: 0
 
   - name: check-type-suc

diff --git a/tests/smoke/Commands/repl.smoke.yaml b/tests/smoke/Commands/repl.smoke.yaml
@@ -151,13 +151,13 @@ tests:
           Stdlib.Prelude> \1
     exit-status: 0
 
-  - name: check-type-null
+  - name: check-type-isEmpty
     command:
       - juvix
       - repl
     stdout:
       contains: "{A : Type} -> (list : List A) -> Bool"
-    stdin: ":type null"
+    stdin: ":type isEmpty"
     exit-status: 0
 
   - name: check-type-suc