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

codegen bug fix.

Browse Source
This commit is contained in:
Mark Thom
2017-02-25 14:29:11 -07:00
parent d55224626f
commit 59eb04866a
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/l2/codegen.rs
View File

@@ -432,6 +432,8 @@ impl<'a> CodeGenerator<'a> {
} }
pub fn compile_fact(&mut self, term: &'a Term) -> Code { pub fn compile_fact(&mut self, term: &'a Term) -> Code {
self.marker.advance(term);
let mut compiled_fact = vec![Line::Fact(self.compile_target(term))]; let mut compiled_fact = vec![Line::Fact(self.compile_target(term))];
let proceed = Line::Control(ControlInstruction::Proceed); let proceed = Line::Control(ControlInstruction::Proceed);
@@ -440,6 +442,8 @@ impl<'a> CodeGenerator<'a> {
} }
pub fn compile_query(&mut self, term: &'a Term) -> Code { pub fn compile_query(&mut self, term: &'a Term) -> Code {
self.marker.advance(term);
let mut compiled_query = vec![Line::Query(self.compile_target(term))]; let mut compiled_query = vec![Line::Query(self.compile_target(term))];
match term { match term {