From: Mark Thom Date: Sun, 2 Dec 2018 22:17:45 +0000 (-0700) Subject: remove needless result type in try_expand_term X-Git-Tag: v0.8.110~318 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=deabdafa48855c9b29391561a801a3a5378b2e23;p=scryer-prolog.git remove needless result type in try_expand_term --- diff --git a/Cargo.lock b/Cargo.lock index 22eb0d0d..4228369c 100644 --- 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 17276380..9314d59c 100644 --- 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, ParserError> + -> Option { 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()) } } }