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

throw existence_error on failed put_byte write (#492)

Browse Source
This commit is contained in:
Mark Thom
2020-05-12 20:28:39 -06:00
parent 3c6149fd27
commit 49ba5f30c5
1 changed files with 46 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

50
src/prolog/machine/system_calls.rs
View File

@@ -2065,14 +2065,56 @@ impl MachineState {
match Number::try_from((addr, &self.heap)) {
Ok(Number::Integer(n)) => {
if let Some(nb) = n.to_u8() {
discard_result!(stream.write(&mut [nb]));
return return_from_clause!(self.last_call, self);
match stream.write(&mut [nb]) {
Ok(1) => {
return return_from_clause!(self.last_call, self);
}
_ => {
let stub = MachineError::functor_stub(
clause_name!("put_byte"),
2,
);
let addr = self.heap.to_unifiable(
HeapCellValue::Stream(stream.clone()),
);
return Err(self.error_form(
MachineError::existence_error(
self.heap.h(),
ExistenceError::Stream(addr),
),
stub,
));
}
}
}
}
Ok(Number::Fixnum(n)) => {
if let Ok(nb) = u8::try_from(n) {
discard_result!(stream.write(&mut [nb]));
return return_from_clause!(self.last_call, self);
match stream.write(&mut [nb]) {
Ok(1) => {
return return_from_clause!(self.last_call, self);
}
_ => {
let stub = MachineError::functor_stub(
clause_name!("put_byte"),
2,
);
let addr = self.heap.to_unifiable(
HeapCellValue::Stream(stream.clone()),
);
return Err(self.error_form(
MachineError::existence_error(
self.heap.h(),
ExistenceError::Stream(addr),
),
stub,
));
}
}
}
}
_ => {