]> Repositorios git - scryer-prolog.git/commitdiff
slight formatting changes
authorMark Thom <[email protected]>
Tue, 3 Sep 2019 14:10:51 +0000 (10:10 -0400)
committerMark Thom <[email protected]>
Tue, 3 Sep 2019 14:10:51 +0000 (10:10 -0400)
src/prolog/machine/compile.rs

index 33d05cbfd7175b6dfe774d01a9590ff2b5edc56a..3ee20698b3841800e07854d6d63e7422ac93ecf6 100644 (file)
@@ -91,7 +91,7 @@ fn load_module_from_file(wam: &mut Machine, filename: &str) -> Result<ClauseName
     };
 
     match compile_work_impl(&mut compiler, wam, indices, results) {
-        EvalSession::Error(e) => return Err(e),
+        EvalSession::Error(e) => Err(e),
         _ => Ok(module_name)
     }
 }
@@ -595,8 +595,7 @@ impl ListingCompiler {
                     -> Result<(), SessionError>
     {
         match decl {
-            Declaration::EndOfFile =>
-                return Ok(()),
+            Declaration::EndOfFile => Ok(()),
             Declaration::Hook(hook, clause, queue) => {
                 let key = (hook.name(), hook.arity());
                 let (len, queue_len) = self.add_term_dir_terms(hook, &mut wam.code_repo,