From 69ad34b231f8514080271f55b58dc6490e684cb6 Mon Sep 17 00:00:00 2001
From: Rob Dockins <rdockins@galois.com>
Date: Fri, 2 Apr 2021 14:06:55 -0700
Subject: [PATCH] Add test case for issue640

I think we've finally cracked the nut on this strictness bug.
Fixes #640
---
 tests/issues/issue640.cry         | 11 +++++++++++
 tests/issues/issue640.icry        |  5 +++++
 tests/issues/issue640.icry.stdout |  6 ++++++
 3 files changed, 22 insertions(+)
 create mode 100644 tests/issues/issue640.cry
 create mode 100644 tests/issues/issue640.icry
 create mode 100644 tests/issues/issue640.icry.stdout

diff --git a/tests/issues/issue640.cry b/tests/issues/issue640.cry
new file mode 100644
index 000000000..484e5ff56
--- /dev/null
+++ b/tests/issues/issue640.cry
@@ -0,0 +1,11 @@
+f : [1] -> [2]
+f x = out
+  where out = x # [out@0]
+
+g : [1] -> [2]
+g x = out
+  where out = x # (take out)
+
+h : [1] [8] -> [2] [8]
+h x = out
+  where out = x # take out
diff --git a/tests/issues/issue640.icry b/tests/issues/issue640.icry
new file mode 100644
index 000000000..e701a95a3
--- /dev/null
+++ b/tests/issues/issue640.icry
@@ -0,0 +1,5 @@
+:load issue640.cry
+
+f zero
+g zero
+h zero
diff --git a/tests/issues/issue640.icry.stdout b/tests/issues/issue640.icry.stdout
new file mode 100644
index 000000000..6b890958c
--- /dev/null
+++ b/tests/issues/issue640.icry.stdout
@@ -0,0 +1,6 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+0x0
+0x0
+[0x00, 0x00]