rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

slight formatting changes

Browse Source
This commit is contained in:
Mark Thom
2019-09-03 10:10:51 -04:00
parent 2c880b2bc0
commit cefcf916c3
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/prolog/machine/compile.rs
View 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) { match compile_work_impl(&mut compiler, wam, indices, results) {
EvalSession::Error(e) => return Err(e), EvalSession::Error(e) => Err(e),
_ => Ok(module_name) _ => Ok(module_name)
} }
} }
@@ -595,8 +595,7 @@ impl ListingCompiler {
-> Result<(), SessionError> -> Result<(), SessionError>
{ {
match decl { match decl {
Declaration::EndOfFile => Declaration::EndOfFile => Ok(()),
return Ok(()),
Declaration::Hook(hook, clause, queue) => { Declaration::Hook(hook, clause, queue) => {
let key = (hook.name(), hook.arity()); let key = (hook.name(), hook.arity());
let (len, queue_len) = self.add_term_dir_terms(hook, &mut wam.code_repo, let (len, queue_len) = self.add_term_dir_terms(hook, &mut wam.code_repo,