add tests for parser error messages. Fixes #208

runt.toml

@@ -20,7 +20,10 @@ flags=$(head -n 1 {} | cut -c 3-)
 ## checking.
 [[tests]]
 name = "errors"
-paths = [ "tests/errors/*.futil" ]
+paths = [
+  "tests/errors/*.futil",
+  "tests/errors/parser/*.futil"
+]
 cmd = """
 ./target/debug/futil {} -p well-formed -p papercut
 """

tests/errors/parser/cell-missing-semi.expect

@@ -0,0 +1,9 @@
+---CODE---
+1
+---STDERR---
+Error: FuTIL Parser:  --> 3:5
+  |
+3 |     r = prim std_reg(32)␊
+  |     ^---
+  |
+  = expected cell

tests/errors/parser/cell-missing-semi.futil

@@ -0,0 +1,7 @@
+component main() -> () {
+  cells {
+    r = prim std_reg(32)
+  }
+  wires { }
+  control { }
+}

tests/errors/parser/num-without-bitwidth.expect

@@ -0,0 +1,9 @@
+---CODE---
+1
+---STDERR---
+Error: FuTIL Parser:  --> 4:12
+  |
+4 |     r.in = 1;␊
+  |            ^
+  |
+  = Expected number with bitwidth (like 32'd10).

tests/errors/parser/num-without-bitwidth.futil

@@ -0,0 +1,7 @@
+component main() -> () {
+  cells { }
+  wires {
+    r.in = 1;
+  }
+  control { }
+}

tests/errors/parser/while-without-body.expect

@@ -0,0 +1,11 @@
+---CODE---
+1
+---STDERR---
+Error: FuTIL Parser:  --> 5:27
+  |
+5 |     while r.out with cond {␊
+  | ...
+9 |     }␊
+  |     ^---------------------^
+  |
+  = Sequence of control statements should be enclosed in `seq` or `par`.

tests/errors/parser/while-without-body.futil

@@ -0,0 +1,11 @@
+component main() -> () {
+  cells { }
+  wires { }
+  control {
+    while r.out with cond {
+      upd0;
+      upd1;
+      upd2;
+    }
+  }
+}

tests/errors/parser/wrong-binary-num.expect

@@ -0,0 +1,9 @@
+---CODE---
+1
+---STDERR---
+Error: FuTIL Parser:  --> 4:16
+  |
+4 |     r.in = 10'b22;␊
+  |                ^^
+  |
+  = Expected binary number

tests/errors/parser/wrong-binary-num.futil

@@ -0,0 +1,7 @@
+component main() -> () {
+  cells { }
+  wires {
+    r.in = 10'b22;
+  }
+  control { }
+}