debugging cleanups
actually use readline flag.
This commit is contained in:
parent
c1c32ec26a
commit
9c3d6a187d
@ -1553,6 +1553,7 @@ void (*handler)(int);
|
||||
|
||||
static int
|
||||
InteractSIGINT(int ch) {
|
||||
CACHE_REGS
|
||||
Yap_PrologMode |= AsyncIntMode;
|
||||
switch (ch) {
|
||||
case 'a':
|
||||
|
@ -1882,7 +1882,6 @@ PL_recorded(record_t db, term_t ts)
|
||||
X_API record_t
|
||||
PL_duplicate_record(record_t db)
|
||||
{
|
||||
CACHE_REGS
|
||||
Term t = YAP_Recorded((void *)db);
|
||||
if (t == ((CELL)0))
|
||||
return FALSE;
|
||||
@ -2335,9 +2334,11 @@ X_API void PL_register_foreign_in_module(const char *module, const char *name, i
|
||||
Term tmod;
|
||||
Int nflags = 0;
|
||||
|
||||
#ifdef DEBUG
|
||||
if (flags & (PL_FA_NOTRACE|PL_FA_CREF)) {
|
||||
fprintf(stderr,"PL_register_foreign_in_module called with non-implemented flag %x when creating predicate %s:%s/%d\n", flags, module, name, arity);
|
||||
}
|
||||
#endif
|
||||
if (module == NULL) {
|
||||
tmod = CurrentModule;
|
||||
} else {
|
||||
|
@ -509,9 +509,6 @@ raw_read2(ReadData _PL_rd ARG_LD)
|
||||
_PL_rd->strictness = truePrologFlag(PLFLAG_ISO);
|
||||
source_line_no = -1;
|
||||
|
||||
fprintf(stderr,"write_prompt\n");
|
||||
jmp_deb(1);
|
||||
|
||||
for(;;)
|
||||
{ c = getchr();
|
||||
|
||||
|
@ -145,9 +145,7 @@ true :- true.
|
||||
|
||||
/* main execution loop */
|
||||
'$read_vars'(user_input, Goal, Mod, Pos, Bindings) :-
|
||||
writeln(c:Raw),
|
||||
get_value('$readline',true), !,
|
||||
writeln(d:Raw),
|
||||
'$swi_current_prolog_flag'(readline, true), !,
|
||||
read_history(h, '!h',
|
||||
[trace, end_of_file],
|
||||
' ?- ', Goal, Bindings),
|
||||
|
@ -563,7 +563,7 @@ yap_flag(system_options,X) :-
|
||||
'$system_options'(rational_trees) :-
|
||||
'$yap_has_rational_trees'.
|
||||
'$system_options'(readline) :-
|
||||
'$has_readline'.
|
||||
'$swi_current_prolog_flag'(readline, true).
|
||||
'$system_options'(tabling) :-
|
||||
\+ '$undefined'('$c_table'(_,_), prolog).
|
||||
'$system_options'(threads) :-
|
||||
|
Reference in New Issue
Block a user