From: Mark Thom Date: Thu, 17 Jan 2019 02:59:19 +0000 (-0700) Subject: delete trailing whitespace in compile.rs X-Git-Tag: v0.8.110~296 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2a4981ba85f20800b38e907647de778fe2ff5061;p=scryer-prolog.git delete trailing whitespace in compile.rs --- diff --git a/src/prolog/compile.rs b/src/prolog/compile.rs index ed12fedc..4a04e029 100644 --- a/src/prolog/compile.rs +++ b/src/prolog/compile.rs @@ -172,7 +172,7 @@ pub struct ListingCompiler { module: Option, user_term_dir: TermDir, orig_term_expansion_lens: (usize, usize), - orig_goal_expansion_lens: (usize, usize) + orig_goal_expansion_lens: (usize, usize) } impl ListingCompiler { @@ -426,13 +426,13 @@ impl ListingCompiler { let (ge_len, ge_queue_len) = self.orig_goal_expansion_lens; let flags = wam.machine_flags(); - + wam.code_repo.truncate_terms((clause_name!("term_expansion"), 2), te_len, te_queue_len); wam.code_repo.truncate_terms((clause_name!("goal_expansion"), 2), ge_len, ge_queue_len); discard_result!(wam.code_repo.compile_hook(CompileTimeHook::UserGoalExpansion, flags)); discard_result!(wam.code_repo.compile_hook(CompileTimeHook::UserTermExpansion, flags)); - + err } } @@ -468,7 +468,7 @@ fn compile_work(compiler: &mut ListingCompiler, wam: &mut Machine, src: pub fn compile_listing(wam: &mut Machine, src: R, indices: IndexStore) -> EvalSession { let mut compiler = ListingCompiler::new(&wam.code_repo); - + match compile_work(&mut compiler, wam, src, indices) { EvalSession::Error(e) => EvalSession::Error(compiler.drop_expansions(wam, e)), result => result