interpret '\u{0}' as end_of_file in get_char/1

2023-07-07 11:05:44 -06:00
parent 811ff65209
commit b7f77d1747
1 changed files with 5 additions and 5 deletions
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -3400,11 +3400,7 @@ impl Machine {
            let result = iter.read_char();

            match result {
-                Some(Ok(c)) => {
-                    self.machine_st.unify_char(c, addr);
-                    break;
-                }
-                _ => {
+                Some(Ok('\u{0}')) | Some(Err(_)) | None => {
                    self.machine_st.eof_action(
                        self.machine_st.registers[2],
                        stream,
@@ -3418,6 +3414,10 @@ impl Machine {
                        break;
                    }
                }
+                Some(Ok(c)) => {
+                    self.machine_st.unify_char(c, addr);
+                    break;
+                }
            }
        }