From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 May 2020 19:35:48 +0000 (-0600)
Subject: fix position property in stream_property/2 (#477)
X-Git-Tag: v0.8.123~49
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ea7b1a95922b1a85ba8d1003ceebf9a6299ac0fb;p=scryer-prolog.git

fix position property in stream_property/2 (#477)
---

diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs
index 9edbdacb..47780568 100644
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -4709,12 +4709,8 @@ impl MachineState {
                                             }
                                         }
                                         "position" => {
-                                            if stream.options.reposition {
-                                                if let Some(position) = stream.position() {
-                                                    HeapCellValue::Addr(Addr::Usize(position as usize))
-                                                } else {
-                                                    unreachable!()
-                                                }
+                                            if let Some(position) = stream.position() {
+                                                HeapCellValue::Addr(Addr::Usize(position as usize))
                                             } else {
                                                 self.fail = true;
                                                 return Ok(());