^C was very broken: break was not accepted, and debug,
trace and statistics did not work at all. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1448 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
592517f09d
commit
90e2f0360f
@ -1254,6 +1254,10 @@ InteractSIGINT(int ch) {
|
|||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
return -1;
|
return -1;
|
||||||
|
case 'b':
|
||||||
|
/* continue */
|
||||||
|
Yap_signal (YAP_BREAK_SIGNAL);
|
||||||
|
return 1;
|
||||||
case 'c':
|
case 'c':
|
||||||
/* continue */
|
/* continue */
|
||||||
return 1;
|
return 1;
|
||||||
|
@ -16,6 +16,8 @@
|
|||||||
|
|
||||||
<h2>Yap-5.1.0:</h2>
|
<h2>Yap-5.1.0:</h2>
|
||||||
<ul>
|
<ul>
|
||||||
|
<li> FIXED: ^C was very broken: break was not accepted, and debug,
|
||||||
|
trace and statistics did not work at all. </li>
|
||||||
<li> FIXED: format_has_tabs could miss tab signs. </li>
|
<li> FIXED: format_has_tabs could miss tab signs. </li>
|
||||||
<li> FIXED: plug holes in memory allocation from scanner. </li>
|
<li> FIXED: plug holes in memory allocation from scanner. </li>
|
||||||
<li> FIXED: instrument memory allocation use use_malloc. </li>
|
<li> FIXED: instrument memory allocation use use_malloc. </li>
|
||||||
|
@ -49,29 +49,26 @@
|
|||||||
'$continue_signals',
|
'$continue_signals',
|
||||||
'$current_module'(M0),
|
'$current_module'(M0),
|
||||||
'$execute0'(G,M0).
|
'$execute0'(G,M0).
|
||||||
'$do_signal'(sig_trace, G) :-
|
'$do_signal'(sig_trace, [M|G]) :-
|
||||||
'$continue_signals',
|
'$continue_signals',
|
||||||
trace.
|
trace,
|
||||||
'$do_signal'(sig_debug, G) :-
|
'$execute'(M:G).
|
||||||
|
'$do_signal'(sig_debug, [M|G]) :-
|
||||||
'$continue_signals',
|
'$continue_signals',
|
||||||
'$current_module'(M0),
|
|
||||||
debug,
|
debug,
|
||||||
'$execute0'(G,M0).
|
'$execute'(M:G).
|
||||||
'$do_signal'(sig_break, G) :-
|
'$do_signal'(sig_break, [M|G]) :-
|
||||||
'$continue_signals',
|
'$continue_signals',
|
||||||
'$current_module'(M0),
|
|
||||||
break,
|
break,
|
||||||
'$execute0'(G,M0).
|
'$execute0'(G,M).
|
||||||
'$do_signal'(sig_statistics, G) :-
|
'$do_signal'(sig_statistics, [M|G]) :-
|
||||||
'$continue_signals',
|
'$continue_signals',
|
||||||
'$current_module'(M0),
|
|
||||||
statistics,
|
statistics,
|
||||||
'$execute0'(G,M0).
|
'$execute0'(G,M).
|
||||||
'$do_signal'(sig_stack_dump, G) :-
|
'$do_signal'(sig_stack_dump, [M|G]) :-
|
||||||
'$continue_signals',
|
'$continue_signals',
|
||||||
'$current_module'(M0),
|
|
||||||
'$stack_dump',
|
'$stack_dump',
|
||||||
'$execute0'(G,M0).
|
'$execute0'(G,M).
|
||||||
% Unix signals
|
% Unix signals
|
||||||
'$do_signal'(sig_alarm, G) :-
|
'$do_signal'(sig_alarm, G) :-
|
||||||
'$signal_handler'(sig_alarm, G).
|
'$signal_handler'(sig_alarm, G).
|
||||||
|
Reference in New Issue
Block a user