From ec9bfb950087c430ba96387c5b83dc88397e06b2 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 1 Aug 2017 18:04:08 +0100
Subject: Fixed a bug where type_synonyms were not being expanded properly when
 considering possible casts

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

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/vector_synonym_cast.sail b/test/typecheck/pass/vector_synonym_cast.sail
new file mode 100644
index 00000000..72a7e9d0
--- /dev/null
+++ b/test/typecheck/pass/vector_synonym_cast.sail
@@ -0,0 +1,8 @@
+
+typedef vecsyn = vector<0,1,dec,bit>
+
+val cast vector<1,1,dec,bit> -> vector<0,1,dec,bit> effect pure test_cast
+
+val vector<1,1,dec,bit> -> vecsyn effect pure test
+
+function test x = x
-- 
cgit v1.2.3