make it clear we are in error processing
This commit is contained in:
parent
368cfd99d5
commit
b5e1476a20
@ -107,6 +107,7 @@ system_error(Type,Goal,Culprit) :-
|
|||||||
fail.
|
fail.
|
||||||
'$LoopError'(_, _) :-
|
'$LoopError'(_, _) :-
|
||||||
flush_output,
|
flush_output,
|
||||||
|
'$close_error',
|
||||||
fail.
|
fail.
|
||||||
|
|
||||||
'$process_error'('$forward'(Msg), _) :-
|
'$process_error'('$forward'(Msg), _) :-
|
||||||
@ -114,7 +115,6 @@ system_error(Type,Goal,Culprit) :-
|
|||||||
throw( '$forward'(Msg) ).
|
throw( '$forward'(Msg) ).
|
||||||
'$process_error'('$abort', Level) :-
|
'$process_error'('$abort', Level) :-
|
||||||
!,
|
!,
|
||||||
'$process_error'(abort, Level).
|
|
||||||
'$process_error'(abort, Level) :-
|
'$process_error'(abort, Level) :-
|
||||||
!,
|
!,
|
||||||
(
|
(
|
||||||
|
Reference in New Issue
Block a user