Add missing shell test

anoma · Jan 3, 2023 · 2615611 · 2615611
1 parent d8107cd
commit 2615611
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tests/CLI/Commands/repl.test b/tests/CLI/Commands/repl.test
@@ -90,3 +90,9 @@ $ juvix repl tests/Internal/positive/BuiltinBool.juvix
 $ juvix repl
 > /\//
 >= 0
+
+<
+1 + 2
+$ juvix repl
+> /Stdlib.Prelude> suc \(suc \(suc zero\)\)/
+>= 0