From 7eb6dea6255eb0dbddaca6309af4f9fd1755041b Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Feb 2014 12:46:56 +0000
Subject: Correct variable-name bug that was throwing away type checking
 coercions and type annotations

---
 src/test/test1.sail | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/test')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index c603bb65..da9e43fb 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -29,6 +29,8 @@ function clause f (  C (a) ) = C(a)
 end ast
 end f
 
+function unit a (bit) b = if b then () else ()
+
 function bit sw s = switch s { case 0 -> bitzero }
 
 function bit main _ = {ignore(sw(0)); v1[0] }
-- 
cgit v1.2.3