From 018c17b69a0aa1e678627a5c31b7f17641f5fa4a Mon Sep 17 00:00:00 2001
From: Nikita Vilunov <nikita@vilunov.me>
Date: Sun, 7 Jun 2020 16:40:45 +0300
Subject: [PATCH] Add :let test

---
 tests/Main.idr                       | 2 +-
 tests/idris2/interpreter002/expected | 3 +++
 tests/idris2/interpreter002/input    | 3 +++
 tests/idris2/interpreter002/run      | 3 +++
 4 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 tests/idris2/interpreter002/expected
 create mode 100644 tests/idris2/interpreter002/input
 create mode 100755 tests/idris2/interpreter002/run

diff --git a/tests/Main.idr b/tests/Main.idr
index 8e61c4af4..43a38b45c 100644
--- 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
new file mode 100644
index 000000000..5407b91b1
--- /dev/null
+++ 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
new file mode 100644
index 000000000..e84ecac92
--- /dev/null
+++ 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
new file mode 100755
index 000000000..b153002c6
--- /dev/null
+++ b/tests/idris2/interpreter002/run
@@ -0,0 +1,3 @@
+$1 --no-banner --no-prelude < input
+
+rm -rf build