From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 3 Sep 2019 21:18:43 +0000 (-0600)
Subject: fix read module if readline is not present
X-Git-Tag: v0.8.110~50
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a757b92c9d82865f2ec836de9d8474bf47a723db;p=scryer-prolog.git

fix read module if readline is not present
---

diff --git a/src/prolog/read.rs b/src/prolog/read.rs
index 6af0794d..3eda829d 100644
--- a/src/prolog/read.rs
+++ b/src/prolog/read.rs
@@ -159,18 +159,6 @@ pub mod readline
         }
     }
 
-    pub fn read_batch(_: &str) -> Result<Vec<u8>, ::SessionError> {
-        let mut buf = vec![];
-
-        let stdin = stdin();
-        let mut stdin = stdin.lock();
-
-        match stdin.read_to_end(&mut buf) {
-            Ok(_) => Ok(buf),
-            _ => Err(::SessionError::UserPrompt)
-        }
-    }
-
     #[inline]
     pub fn input_stream() -> ::PrologStream {
         let reader: Box<Read> = Box::new(StdinWrapper { buf: BufReader::new(stdin()) });