From: Mark Thom Date: Sun, 10 May 2020 19:24:45 +0000 (-0600) Subject: change wrong at_end_of_stream value 'end' to 'at' (#479) X-Git-Tag: v0.8.123~51 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=67fce58708e01e3b446afd7ba03d648859ba076b;p=scryer-prolog.git change wrong at_end_of_stream value 'end' to 'at' (#479) --- diff --git a/src/prolog/machine/streams.rs b/src/prolog/machine/streams.rs index 6a904aa0..7542bec9 100644 --- a/src/prolog/machine/streams.rs +++ b/src/prolog/machine/streams.rs @@ -62,7 +62,7 @@ pub enum EOFAction { #[derive(Debug)] pub enum AtEndOfStream { Not, - End, + At, Past } @@ -73,7 +73,7 @@ impl AtEndOfStream { match self { AtEndOfStream::Not => "not", AtEndOfStream::Past => "past", - AtEndOfStream::End => "end", + AtEndOfStream::At => "at", } } } @@ -348,7 +348,7 @@ impl Stream { if let Ok(position) = file.seek(SeekFrom::Current(0)) { return match position.cmp(&metadata.len()) { Ordering::Equal => { - AtEndOfStream::End + AtEndOfStream::At } Ordering::Less => { AtEndOfStream::Not