From 0c681811b78e77c1297ceb70a166e2a7615d9991 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 7 Jan 2014 18:53:15 +0100
Subject: bug: unbound let-defined (and local?) variables

In test/test1.sail, trying to resolve variable v1 in main yields:

test1: error: unbound identifier
---
 src/test/test1.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index 2ebc5e0a..e10608bb 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -13,4 +13,4 @@ let bool e = true
 let bit v = bitzero
 let ( bit [ 32 ] ) v1 = 0b101
 
-function unit main _ = ()
+function bit main _ = v1[0]
-- 
cgit v1.2.3