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

fix abolish

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-02-01 02:46:39 +00:00
parent 9b38290b8c
commit a7874dee62
3 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/stdpreds.c
View File

@ -766,6 +766,8 @@ static Int cont_current_predicate(USES_REGS1) {
PredEntry *pp; PredEntry *pp;
t1 = Yap_YapStripModule(t1, &t2); t1 = Yap_YapStripModule(t1, &t2);
t3 = Yap_YapStripModule(t3, &t2); t3 = Yap_YapStripModule(t3, &t2);
t1 = Deref(t1);
t2 = Deref(t2);
task = Deref(ARG4); task = Deref(ARG4);
pp = AddressOfTerm(EXTRA_CBACK_ARG(4, 1)); pp = AddressOfTerm(EXTRA_CBACK_ARG(4, 1));

2
os/sysbits.c
View File

@ -675,7 +675,7 @@ prolog_expanded_file_system_path( USES_REGS1 )
const char *rc = myrealpath(out, LOCAL_FileNameBuf2 ); const char *rc = myrealpath(out, LOCAL_FileNameBuf2 );
return Yap_unify(MkAtomTerm(Yap_LookupAtom(rc)), ARG4); return Yap_unify(MkAtomTerm(Yap_LookupAtom(rc)), ARG4);
} else { } else {
char *pt =strncpy( LOCAL_FileNameBuf2, p0, YAP_FILENAME_MAX ); char *pt =stpncpy( LOCAL_FileNameBuf2, p0, YAP_FILENAME_MAX );
printf("%s\n", LOCAL_FileNameBuf2); printf("%s\n", LOCAL_FileNameBuf2);
if ( !dir_separator( pt[-1] )) { if ( !dir_separator( pt[-1] )) {
#if ATARI || _MSC_VER || defined(__MINGW32__) #if ATARI || _MSC_VER || defined(__MINGW32__)

2
pl/preds.yap
View File

@ -292,7 +292,7 @@ abolish(X0) :-
'$new_abolish'(V,M) :- var(V), !, '$new_abolish'(V,M) :- var(V), !,
'$abolish_all'(M). '$abolish_all'(M).
'$new_abolish'(A,M) :- atom(A), !, '$new_abolish'(A/V,M) :- atom(A), var(V), !,
'$abolish_all_atoms'(A,M). '$abolish_all_atoms'(A,M).
'$new_abolish'(Na//Ar1, M) :- '$new_abolish'(Na//Ar1, M) :-
integer(Ar1), integer(Ar1),