From f726c992ab2506ae3fb8a52993b2c46a1ae0a3b1 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 21 Sep 2017 15:54:57 +0100
Subject: Cleaning up the AST and removing redundant and/or unused nodes

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

(limited to 'test')

diff --git a/test/typecheck/pass/ex_cast.sail b/test/typecheck/pass/ex_cast.sail
new file mode 100644
index 00000000..5ea22d14
--- /dev/null
+++ b/test/typecheck/pass/ex_cast.sail
@@ -0,0 +1,12 @@
+
+default Order dec
+
+val cast int -> exist 'n. [:'n:] effect pure ex_int
+
+val [:'n:] -> bit['n] effect pure zeros
+
+val int -> unit effect pure test
+
+function test n = {
+  x := zeros(n)
+}
-- 
cgit v1.2.3