Switch back to run_input_once and use duplicated write_eqs/2 without any input handling

2023-08-02 14:52:49 +02:00
parent 21c36880f1
commit df048a4f42
2 changed files with 43 additions and 3 deletions
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -28,7 +28,7 @@ impl Machine {
        let input = format!("{}", query);
        println!("Running query: {}", input);
        self.set_user_input(input);
-        self.run_top_level(atom!("$toplevel"), (atom!("toplevel"), 0));
+        self.run_top_level(atom!("$toplevel"), (atom!("run_input_once"), 0));
        self.parse_output()
    }