fix compilation of NewX = f instructions.
This commit is contained in:
parent
875a4553d5
commit
14a162dc6a
23
C/compiler.c
23
C/compiler.c
@ -872,19 +872,24 @@ c_eq(Term t1, Term t2, compiler_struct *cglobs)
|
|||||||
}
|
}
|
||||||
/* first argument is an unbound var */
|
/* first argument is an unbound var */
|
||||||
if (IsNewVar(t1)) {
|
if (IsNewVar(t1)) {
|
||||||
c_var(t1, 0, 0, 0, cglobs);
|
if (IsVarTerm(t2)) {
|
||||||
|
c_var(t2, 1, 0, 0, cglobs);
|
||||||
|
} else {
|
||||||
|
c_arg(1, t2, 0, 0, cglobs);
|
||||||
|
}
|
||||||
|
cglobs->onhead = TRUE;
|
||||||
|
c_var(t1, 1, 0, 0, cglobs);
|
||||||
|
cglobs->onhead = FALSE;
|
||||||
} else {
|
} else {
|
||||||
c_var(t1, 0, 0, 0, cglobs);
|
c_var(t1, 0, 0, 0, cglobs);
|
||||||
cglobs->onhead = TRUE;
|
cglobs->onhead = TRUE;
|
||||||
|
if (IsVarTerm(t2)) {
|
||||||
|
c_var(t2, 0, 0, 0, cglobs);
|
||||||
|
} else {
|
||||||
|
c_arg(0, t2, 0, 0, cglobs);
|
||||||
|
}
|
||||||
|
cglobs->onhead = FALSE;
|
||||||
}
|
}
|
||||||
if (IsVarTerm(t2)) {
|
|
||||||
cglobs->onhead = TRUE;
|
|
||||||
c_var(t2, 0, 0, 0, cglobs);
|
|
||||||
} else {
|
|
||||||
cglobs->onhead = TRUE;
|
|
||||||
c_arg(0, t2, 0, 0, cglobs);
|
|
||||||
}
|
|
||||||
cglobs->onhead = FALSE;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
static void
|
static void
|
||||||
|
Reference in New Issue
Block a user