remove needless result type in try_expand_term

diff --git a/Cargo.lock b/Cargo.lock
index 22eb0d0d22cb6e152d501ee2d0f0cd233fc8e9b5..4228369c08889e9e8ad34ed93c15a7c8af31022e 100644 (file)
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -108,7 +108,7 @@ dependencies = [
 
 [[package]]
 name = "rusty-wam"
-version = "0.7.15"
+version = "0.7.16"
 dependencies = [
  "downcast 0.9.1 (registry+https://github.com/rust-lang/crates.io-index)",
  "num 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)",

diff --git a/src/prolog/machine/term_expansion.rs b/src/prolog/machine/term_expansion.rs
index 1727638024332e6ff303db1363cb922b70fe1dd5..9314d59cb04ae339f0195c07e829e2ca5cebd810 100644 (file)
--- a/src/prolog/machine/term_expansion.rs
+++ b/src/prolog/machine/term_expansion.rs
@@ -84,7 +84,7 @@ impl<'a, R: Read> TermStream<'a, R> {
     {
         loop {
             while let Some(term) = self.stack.pop() {
-                match machine_st.try_expand_term(self.indices, self.policies, self.code_repo, &term)?
+                match machine_st.try_expand_term(self.indices, self.policies, self.code_repo, &term)
                 {
                     Some(term_string) => {
                         let term = self.parse_expansion_output(term_string.as_str(), op_dir)?;
@@ -106,7 +106,7 @@ impl<'a, R: Read> TermStream<'a, R> {
 impl MachineState {
     fn try_expand_term(&mut self, indices: &mut IndexStore, policies: &mut MachinePolicies,
                        code_repo: &mut CodeRepo, term: &Term)
-                       -> Result<Option<String>, ParserError>
+                       -> Option<String>
     {
         let term_h = write_term_to_heap(term, self);
         let h = self.heap.h;
@@ -122,7 +122,7 @@ impl MachineState {
 
         if self.fail {
             self.reset();
-            Ok(None)
+            None
         } else {
             let mut output  = {
                 let mut printer = HCPrinter::new(&self, PrinterOutputter::new());
@@ -136,7 +136,7 @@ impl MachineState {
             output.push_char('.');
 
             self.reset();
-            Ok(Some(output.result()))
+            Some(output.result())
         }
     }
 }