add (non)-deterministic REPL demarcations
@@ -304,7 +304,13 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
pub fn print(wam: &mut Machine, result: EvalSession) {
match result {
EvalSession::InitialQuerySuccess(alloc_locs, mut heap_locs) => {
- println!("true");
+ print!("true");
+
+ if !wam.or_stack_is_empty() {
+ print!(" ");
+ }
+
+ println!(".");
if heap_locs.is_empty() {
return;
