From 869670b2af55d796eb112444341fac3e4ff5a383 Mon Sep 17 00:00:00 2001
From: Robert Dockins <rdockins@galois.com>
Date: Wed, 13 Jul 2016 14:36:26 -0700
Subject: [PATCH] Add test case for issue #334.  This issue is fixed by the
 evaluator rewrite. Fixes #334

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

diff --git a/tests/issues/issue334.icry b/tests/issues/issue334.icry
new file mode 100644
index 00000000..c9a120ef
--- /dev/null
+++ b/tests/issues/issue334.icry
@@ -0,0 +1,3 @@
+let foo (x:[8]) = xs where xs = [x, xs@0]
+:prove foo 3 == [3,3]
+:prove \x -> foo x == [x,x]
diff --git a/tests/issues/issue334.icry.stdout b/tests/issues/issue334.icry.stdout
new file mode 100644
index 00000000..cb3ff659
--- /dev/null
+++ b/tests/issues/issue334.icry.stdout
@@ -0,0 +1,3 @@
+Loading module Cryptol
+Q.E.D.
+Q.E.D.