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

codegen tweak.

Browse Source
This commit is contained in:
Mark Thom
2017-02-26 21:44:46 -07:00
parent e3e3f346e5
commit 42374f49dc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/l2/codegen.rs
View File

@@ -239,7 +239,7 @@ impl<'a> TermMarker<'a> {
fn advance_at_header(&mut self, term: &'a Term) { fn advance_at_header(&mut self, term: &'a Term) {
self.arg_c = 1; self.arg_c = 1;
self.temp_c = max(term.subterms() + 1, self.temp_c = max(term.subterms(),
self.bindings.values() self.bindings.values()
.filter_map(|vr| { .filter_map(|vr| {
match vr { match vr {
@@ -249,7 +249,7 @@ impl<'a> TermMarker<'a> {
_ => None _ => None
} }
}) })
.max().unwrap_or(0)); .max().unwrap_or(0)) + 1;
} }
fn advance(&mut self, term: &'a Term) { fn advance(&mut self, term: &'a Term) {