[ close #31 ] test case for the issue

idris-lang · Mar 18, 2021 · f600182 · f600182
1 parent da92f9d
commit f600182
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 1 deletion.
diff --git a/tests/Main.idr b/tests/Main.idr
@@ -47,7 +47,7 @@ idrisTestsBasic = MkTestPool []
        "basic041", "basic042", "basic043", "basic044", "basic045",
        "basic046", "basic047", "basic048", "basic049", "basic050",
        "basic051", "basic052", "basic053", "basic054", "basic055",
-       "basic056"]
+       "basic056", "basic057"]
 
 idrisTestsCoverage : TestPool
 idrisTestsCoverage = MkTestPool []

diff --git a/tests/idris2/basic057/LetIn.idr b/tests/idris2/basic057/LetIn.idr
@@ -0,0 +1,19 @@
+X : Nat
+X = let a : Nat
+        a = 0
+        in a
+
+Y : Nat
+Y = let a : Nat
+        a = 0
+    in a
+
+Z : Nat
+Z = let a : Nat
+        a = 0
+ in a
+
+A : Nat
+A = let a : Nat
+        a = 0
+          in a
diff --git a/tests/idris2/basic057/expected b/tests/idris2/basic057/expected
@@ -0,0 +1 @@
+1/1: Building LetIn (LetIn.idr)
diff --git a/tests/idris2/basic057/run b/tests/idris2/basic057/run
@@ -0,0 +1,3 @@
+$1 --no-banner --no-color --console-width 0 --check LetIn.idr
+
+rm -rf build
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		$1 --no-banner --no-color --console-width 0 --check LetIn.idr

		rm -rf build