From 3695b589eaf0bdf3cdb78cf0b26ba5f70f314dd3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 1 Aug 2017 17:38:17 +0100
Subject: Fixed a bug where as patterns weren't binding their variable
 correctly

---
 test/typecheck/pass/as_pattern.sail | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/typecheck/pass/as_pattern.sail

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/as_pattern.sail b/test/typecheck/pass/as_pattern.sail
new file mode 100644
index 00000000..a1cd9461
--- /dev/null
+++ b/test/typecheck/pass/as_pattern.sail
@@ -0,0 +1,7 @@
+
+val int -> int effect pure test
+
+function test ((int) _ as x) =
+{
+  x
+}
-- 
cgit v1.2.3