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

fix expand_goal and expand_term

Browse Source
This commit is contained in:
Mark Thom
2018-12-13 19:38:44 -07:00
parent 45a68d4bc2
commit e90669d159
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/lib/builtins.pl
View File

@@ -226,11 +226,11 @@ writeq(Term) :- write_term(Term, [quoted(true), numbervars(true)]).
% expand_goal. % expand_goal.
expand_goal(Term0, Term) :- '$expand_goal'(Term0, Term), !. expand_goal(Term0, Term) :- '$expand_goal'(Term0, Term).
% expand_term. % expand_term.
expand_term(Term0, Term) :- '$expand_term'(Term0, Term), !. expand_term(Term0, Term) :- '$expand_term'(Term0, Term).
% term_variables. % term_variables.

4
src/prolog/machine/system_calls.rs
View File

@@ -205,11 +205,11 @@ impl MachineState {
}, },
&SystemClauseType::ExpandGoal => { &SystemClauseType::ExpandGoal => {
self.p = CodePtr::Local(LocalCodePtr::UserGoalExpansion(0)); self.p = CodePtr::Local(LocalCodePtr::UserGoalExpansion(0));
// return Ok(()); return Ok(());
}, },
&SystemClauseType::ExpandTerm => { &SystemClauseType::ExpandTerm => {
self.p = CodePtr::Local(LocalCodePtr::UserTermExpansion(0)); self.p = CodePtr::Local(LocalCodePtr::UserTermExpansion(0));
// return Ok(()); return Ok(());
}, },
&SystemClauseType::GetDoubleQuotes => { &SystemClauseType::GetDoubleQuotes => {
let a1 = self[temp_v!(1)].clone(); let a1 = self[temp_v!(1)].clone();