fix small bug
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1748 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
b1b6156f6d
commit
bc43ba2424
@ -365,9 +365,9 @@ gc_lookup_ma_var(CELL *addr, tr_fr_ptr trp) {
|
|||||||
nptr->addr = addr;
|
nptr->addr = addr;
|
||||||
#if TABLING
|
#if TABLING
|
||||||
nptr->loc = trp;
|
nptr->loc = trp;
|
||||||
|
nptr->more = gc_ma_h_list;
|
||||||
#endif
|
#endif
|
||||||
nptr->next = NULL;
|
nptr->next = NULL;
|
||||||
nptr->more = gc_ma_h_list;
|
|
||||||
gc_ma_h_list = nptr;
|
gc_ma_h_list = nptr;
|
||||||
return NULL;
|
return NULL;
|
||||||
}
|
}
|
||||||
|
@ -166,8 +166,6 @@ call_with_args(A,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10) :- atom(A), !,
|
|||||||
call_with_args(A,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10) :-
|
call_with_args(A,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10) :-
|
||||||
'$do_error'(type_error(atom,A),call_with_args(A,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10)).
|
'$do_error'(type_error(atom,A),call_with_args(A,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10)).
|
||||||
|
|
||||||
/*
|
|
||||||
|
|
||||||
call_cleanup(Goal, Catcher, Cleanup) :-
|
call_cleanup(Goal, Catcher, Cleanup) :-
|
||||||
catch('$call_cleanup'(Goal,Catcher,Cleanup),
|
catch('$call_cleanup'(Goal,Catcher,Cleanup),
|
||||||
Exception,
|
Exception,
|
||||||
@ -188,7 +186,7 @@ call_cleanup(Goal, Catcher, Cleanup) :-
|
|||||||
).
|
).
|
||||||
'$call_cleanup'(Goal,fail,Cleanup) :-
|
'$call_cleanup'(Goal,fail,Cleanup) :-
|
||||||
call(Cleanup).
|
call(Cleanup).
|
||||||
*/
|
|
||||||
|
|
||||||
op(P,T,V) :- var(P), !,
|
op(P,T,V) :- var(P), !,
|
||||||
'$do_error'(instantiation_error,op(P,T,V)).
|
'$do_error'(instantiation_error,op(P,T,V)).
|
||||||
|
Reference in New Issue
Block a user