Add Machine::set_user_input(&mut self, input: String) and get_user_output() -> String. Make read_term_from_user_input() handle Stream::Byte.

This commit is contained in:
Nicolas Luck
2023-07-11 14:22:27 +02:00
parent eb9d865635
commit 95b31146b5
2 changed files with 14 additions and 0 deletions

View File

@@ -495,6 +495,10 @@ impl MachineState {
}
}
if let Stream::Byte(_) = stream {
return self.read_term(stream, indices)
}
unreachable!("Stream must be a Stream::Readline(_)")
}