diff options
| author | Gabriel Kerneis | 2014-01-07 18:53:15 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-01-07 18:53:15 +0100 |
| commit | 0c681811b78e77c1297ceb70a166e2a7615d9991 (patch) | |
| tree | 6cbc3975cffe6b1f860a68cb52b4b54f361c6348 /src/reporting_basic.mli | |
| parent | 03ccdf7f18e28a4d9fa1f6d7c7241d0bf340f45b (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/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions