From d8223c129cfd1153acb627cc09972493a0d2f4f5 Mon Sep 17 00:00:00 2001
From: Iavor Diatchki <iavor.diatchki@gmail.com>
Date: Mon, 30 Oct 2023 09:51:52 -0700
Subject: [PATCH] Add a test

---
 tests/issues/T1584.icry        | 1 +
 tests/issues/T1584.icry.stdout | 2 ++
 2 files changed, 3 insertions(+)
 create mode 100644 tests/issues/T1584.icry
 create mode 100644 tests/issues/T1584.icry.stdout

diff --git a/tests/issues/T1584.icry b/tests/issues/T1584.icry
new file mode 100644
index 000000000..1bf229b0f
--- /dev/null
+++ b/tests/issues/T1584.icry
@@ -0,0 +1 @@
+take`{5} [ x+y | x <- [(0:Integer)...], y <- [1] ]
diff --git a/tests/issues/T1584.icry.stdout b/tests/issues/T1584.icry.stdout
new file mode 100644
index 000000000..933c3095b
--- /dev/null
+++ b/tests/issues/T1584.icry.stdout
@@ -0,0 +1,2 @@
+Loading module Cryptol
+[1, 2, 3, 4, 5]