Correct variable-name bug that was throwing away type checking coercions and type annotations

1 files changed, 2 insertions, 0 deletions

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] }