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

fix setup_hook

Browse Source
This commit is contained in:
Mark Thom
2019-01-16 20:03:59 -07:00
parent 2a4981ba85
commit 18f0263d23
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prolog/compile.rs
View File

@@ -490,5 +490,6 @@ fn setup_indices(wam: &mut Machine, indices: &mut IndexStore) -> Result<(), Sess
pub fn compile_user_module<R: Read>(wam: &mut Machine, src: R) -> EvalSession { pub fn compile_user_module<R: Read>(wam: &mut Machine, src: R) -> EvalSession {
let mut indices = default_index_store!(wam.indices.atom_tbl.clone()); let mut indices = default_index_store!(wam.indices.atom_tbl.clone());
try_eval_session!(setup_indices(wam, &mut indices)); try_eval_session!(setup_indices(wam, &mut indices));
compile_listing(wam, src, indices) compile_listing(wam, src, indices)
} }

2
src/prolog/toplevel.rs
View File

@@ -625,7 +625,7 @@ impl RelationWorker {
if name == hook.name() && terms.len() == hook.arity() { if name == hook.name() && terms.len() == hook.arity() {
let term = setup_fact(Term::Clause(r, name, terms, None))?; let term = setup_fact(Term::Clause(r, name, terms, None))?;
Ok((hook, PredicateClause::Fact(term), VecDeque::from(vec![]))) Ok((hook, PredicateClause::Fact(term), VecDeque::from(vec![])))
} else if name.as_str() == ":-" { } else if name.as_str() == ":-" && terms.len() == 2 {
let rule = self.setup_rule(indices, terms, true)?; let rule = self.setup_rule(indices, terms, true)?;
let results_queue = self.parse_queue(indices)?; let results_queue = self.parse_queue(indices)?;