rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

handle Stream variants qualified as input stream by is_input_stream

Browse Source 
Signed-off-by: Thierry Marianne <thierry@marianne.io>
This commit is contained in:
Thierry Marianne
2025-09-15 08:33:47 +02:00
parent e9834ffa3e
commit 8afcc7742b
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/machine/machine_state.rs
View File

@@ -752,6 +752,12 @@ impl MachineState {
indices, indices,
MachineState::read_term_from_user_input_eof_handler, MachineState::read_term_from_user_input_eof_handler,
), ),
#[cfg(feature = "tls")]
Stream::NamedTls(_) => self.read_term(
stream,
indices,
MachineState::read_term_from_user_input_eof_handler,
),
Stream::Readline(ptr) => { Stream::Readline(ptr) => {
let readline = unsafe { ptr.as_ptr().as_mut() }.unwrap(); let readline = unsafe { ptr.as_ptr().as_mut() }.unwrap();
readline.set_atoms_for_completion(&self.atom_tbl); readline.set_atoms_for_completion(&self.atom_tbl);
@@ -761,7 +767,13 @@ impl MachineState {
MachineState::read_term_from_user_input_eof_handler, MachineState::read_term_from_user_input_eof_handler,
) )
} }
Stream::Byte(_) | Stream::InputFile(_) | Stream::NamedTcp(_) => self.read_term( Stream::Byte(_)
| Stream::InputChannel(_)
| Stream::InputFile(_)
| Stream::NamedTcp(_)
| Stream::Null(_)
| Stream::PipeReader(_)
| Stream::StaticString(_) => self.read_term(
stream, stream,
indices, indices,
MachineState::read_term_from_user_input_eof_handler, MachineState::read_term_from_user_input_eof_handler,