Add :let test

idris-lang · Jun 7, 2020 · 018c17b · 018c17b
1 parent d36e804
commit 018c17b
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 1 deletion.
diff --git a/tests/Main.idr b/tests/Main.idr
@@ -64,7 +64,7 @@ idrisTests
        "interface009", "interface010", "interface011", "interface012",
        "interface013", "interface014", "interface015",
        -- Miscellaneous REPL
-       "interpreter001",
+       "interpreter001", "interpreter002",
        -- Implicit laziness, lazy evaluation
        "lazy001",
        -- QTT and linearity related

diff --git a/tests/idris2/interpreter002/expected b/tests/idris2/interpreter002/expected
@@ -0,0 +1,3 @@
+Main> Main> Main> "Privet, mir!"
+Main> 
+Bye for now!
diff --git a/tests/idris2/interpreter002/input b/tests/idris2/interpreter002/input
@@ -0,0 +1,3 @@
+:let i : String
+:let i = "Privet, mir!"
+i
diff --git a/tests/idris2/interpreter002/run b/tests/idris2/interpreter002/run
@@ -0,0 +1,3 @@
+$1 --no-banner --no-prelude < input
+
+rm -rf build