From 55cef4bf4baf94c5984b02aea6d53abcf82ba1ea Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 27 Jul 2017 13:22:09 +0100
Subject: Fixed bug with pattern synonyms in Cons and List patterns

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

(limited to 'test')

diff --git a/test/typecheck/pass/cons_pattern_synonym.sail b/test/typecheck/pass/cons_pattern_synonym.sail
new file mode 100644
index 00000000..f5b26294
--- /dev/null
+++ b/test/typecheck/pass/cons_pattern_synonym.sail
@@ -0,0 +1,7 @@
+typedef ty = list<(bit[8])>
+
+function bool foo ((ty) l) =
+  switch l {
+    case _ :: _ -> false
+    case _ -> true
+  }
\ No newline at end of file
-- 
cgit v1.2.3