fix module change over meta-calls (partially)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@216 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
443a795472
commit
f46101a01a
12
C/absmi.c
12
C/absmi.c
@ -11155,8 +11155,8 @@ absmi(int inp)
|
||||
if (pen->PredFlags & MetaPredFlag) {
|
||||
if (f == FunctorModule) {
|
||||
Term tmod = LookupModule(ArgOfTerm(1,d0));
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod)) {
|
||||
mod = LookupModule(tmod);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod) &&
|
||||
LookupModule(tmod) == mod) {
|
||||
d0 = ArgOfTerm(2,d0);
|
||||
goto execute_nvar;
|
||||
}
|
||||
@ -11278,8 +11278,8 @@ absmi(int inp)
|
||||
if (f == FunctorModule) {
|
||||
Term tmod;
|
||||
tmod = ArgOfTerm(1,d0);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod)) {
|
||||
mod = LookupModule(tmod);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod) &&
|
||||
mod == LookupModule(tmod)) {
|
||||
d0 = ArgOfTerm(2,d0);
|
||||
goto execute_within_nvar;
|
||||
}
|
||||
@ -11422,8 +11422,8 @@ absmi(int inp)
|
||||
if (pen->PredFlags & MetaPredFlag) {
|
||||
if (f == FunctorModule) {
|
||||
Term tmod = ArgOfTerm(1,d0);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod)) {
|
||||
mod = LookupModule(tmod);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod) &&
|
||||
mod == LookupModule(tmod)) {
|
||||
d0 = ArgOfTerm(2,d0);
|
||||
goto last_execute_within_nvar;
|
||||
}
|
||||
|
12
C/exec.c
12
C/exec.c
@ -226,8 +226,8 @@ do_execute(Term t, int mod)
|
||||
if (pen->PredFlags & MetaPredFlag) {
|
||||
if (f == FunctorModule) {
|
||||
Term tmod = ArgOfTerm(1,t);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod)) {
|
||||
mod = LookupModule(tmod);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod) &&
|
||||
mod == LookupModule(tmod)) {
|
||||
t = ArgOfTerm(2,t);
|
||||
goto restart_exec;
|
||||
}
|
||||
@ -332,8 +332,8 @@ p_execute_within(void)
|
||||
if (pen->PredFlags & MetaPredFlag) {
|
||||
if (f == FunctorModule) {
|
||||
Term tmod = ArgOfTerm(1,t);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod)) {
|
||||
mod = LookupModule(tmod);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod) &&
|
||||
mod == LookupModule(tmod)) {
|
||||
t = ArgOfTerm(2,t);
|
||||
goto restart_exec;
|
||||
}
|
||||
@ -798,8 +798,8 @@ p_at_execute(void)
|
||||
return(FALSE);
|
||||
if (f == FunctorModule) {
|
||||
Term tmod = ArgOfTerm(1,t);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod)) {
|
||||
mod = LookupModule(tmod);
|
||||
if (!IsVarTerm(tmod) && IsAtomTerm(tmod) &&
|
||||
mod == LookupModule(tmod)) {
|
||||
t = ArgOfTerm(2,t);
|
||||
goto restart_exec;
|
||||
}
|
||||
|
Reference in New Issue
Block a user