ptx: improve parser

ptx/Cargo.toml

@@ -29,5 +29,4 @@ bytes = "1"
 [dev-dependencies]
 once_cell = "1"
 snailquote = "0"
-# pest-test = "0"
 diff = { path = "../diff" }

ptx/bison/Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "ptxbison"
+version = "0.1.0"
+edition = "2021"
+publish = false
+
+[dependencies]

ptx/bison/src/build.rs

@@ -0,0 +1,24 @@
+fn test() {
+    let args = [
+        "-y",
+        "-d",
+        "./src/ref/intersim2/config.y",
+        "--file-prefix=./src/ref/intersim2/config.parser",
+        "-Wno-yacc",
+    ];
+    let bison_cmd = duct::cmd("bison", &args).unchecked();
+    let result = bison_cmd.run()?;
+    println!("{}", String::from_utf8_lossy(&result.stdout));
+    eprintln!("{}", String::from_utf8_lossy(&result.stderr));
+
+    if !result.status.success() {
+        eyre::bail!(
+            "command {:?} exited with code {:?}",
+            [&["bison"], args.as_slice()].concat(),
+            result.status.code()
+        );
+    }
+}
+
+fn main() {
+}

ptx/bison/src/lib.rs

@@ -0,0 +1,14 @@
+pub fn add(left: usize, right: usize) -> usize {
+    left + right
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn it_works() {
+        let result = add(2, 2);
+        assert_eq!(result, 4);
+    }
+}