summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Kerneis2014-01-07 18:53:15 +0100
committerGabriel Kerneis2014-01-07 18:53:15 +0100
commit0c681811b78e77c1297ceb70a166e2a7615d9991 (patch)
tree6cbc3975cffe6b1f860a68cb52b4b54f361c6348 /src
parent03ccdf7f18e28a4d9fa1f6d7c7241d0bf340f45b (diff)
bug: unbound let-defined (and local?) variables
In test/test1.sail, trying to resolve variable v1 in main yields: test1: error: unbound identifier
Diffstat (limited to 'src')
-rw-r--r--src/test/test1.sail2
1 files changed, 1 insertions, 1 deletions
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]