diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix eval (quick fix).

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-03-14 09:42:35 +00:00
parent add296ba37
commit 4ab17198b7
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
H/arith2.h
View File

@ -147,6 +147,8 @@ do_sll(Int i, Int j)
static inline Term
p_plus(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -203,6 +205,8 @@ p_plus(Term t1, Term t2) {
static Term
p_minus(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -263,6 +267,8 @@ p_minus(Term t1, Term t2) {
static Term
p_times(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -321,6 +327,8 @@ p_times(Term t1, Term t2) {
static Term
p_div(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -402,6 +410,8 @@ p_div(Term t1, Term t2) {
static Term
p_and(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -450,6 +460,8 @@ p_and(Term t1, Term t2) {
static Term
p_or(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch(ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -498,6 +510,8 @@ p_or(Term t1, Term t2) {
static Term
p_sll(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {
@ -565,6 +579,8 @@ p_sll(Term t1, Term t2) {
static Term
p_slr(Term t1, Term t2) {
t1 = Yap_Eval(t1);
t2 = Yap_Eval(t2);
switch (ETypeOfTerm(t1)) {
case long_int_e:
switch (ETypeOfTerm(t2)) {