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

minor tweaks.

Browse Source
This commit is contained in:
Mark Thom
2017-04-18 13:57:48 -06:00
parent 7acee092eb
commit 2e7aa6423c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/codegen.rs
View File

@@ -1119,11 +1119,11 @@ impl<'a> CodeGenerator<'a> {
pub fn compile_predicate(&mut self, clauses: &'a Vec<PredicateClause>) -> Code pub fn compile_predicate(&mut self, clauses: &'a Vec<PredicateClause>) -> Code
{ {
let mut code = Vec::new(); let mut code = Vec::new();
let split_pred = Self::split_predicate(clauses); let split_pred = Self::split_predicate(clauses);
let multi_seq = split_pred.len() > 1; let multi_seq = split_pred.len() > 1;
for &(l, r) in split_pred.iter() { for (l, r) in split_pred {
let mut code_segment = self.compile_pred_subseq(&clauses[l .. r]); let mut code_segment = self.compile_pred_subseq(&clauses[l .. r]);
if multi_seq { if multi_seq {