improve debugger warnings
This commit is contained in:
parent
ce0715e75a
commit
3b2944511e
@ -195,7 +195,7 @@ int
|
|||||||
Yap_DebugPutc(int sno, wchar_t ch)
|
Yap_DebugPutc(int sno, wchar_t ch)
|
||||||
{
|
{
|
||||||
if (GLOBAL_Option['l' - 96])
|
if (GLOBAL_Option['l' - 96])
|
||||||
(void) Sputc(ch, GLOBAL_logfile);
|
(void) putc(ch, GLOBAL_logfile);
|
||||||
return (Sputc(ch, GLOBAL_stderr));
|
return (Sputc(ch, GLOBAL_stderr));
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -355,6 +355,8 @@ syntax_error (TokEntry * tokptr, IOSTREAM *st, Term *outp)
|
|||||||
char s[2];
|
char s[2];
|
||||||
s[1] = '\0';
|
s[1] = '\0';
|
||||||
s[0] = (char)info;
|
s[0] = (char)info;
|
||||||
|
if (s[0] == 'l')
|
||||||
|
s[0] = '(';
|
||||||
ts[0] = MkAtomTerm(Yap_LookupAtom(s));
|
ts[0] = MkAtomTerm(Yap_LookupAtom(s));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user