fix unhandled exceptions.
This commit is contained in:
parent
f46ff06f38
commit
007a1346f4
@ -223,7 +223,7 @@
|
||||
'$set_fpu_exceptions',
|
||||
print_message(error,error(Msg, Where)).
|
||||
'$process_error'(Throw, _) :-
|
||||
print_message(error,Throw).
|
||||
print_message(error,error(unhandled_exception,Throw)).
|
||||
|
||||
print_message(force(_Severity), Msg) :- !,
|
||||
print(user_error,Msg).
|
||||
|
@ -270,6 +270,8 @@ system_message(error(type_error(TE,W), Where)) -->
|
||||
[ 'TYPE ERROR- ~w: expected ~q, got ~w' - [Where,TE,W] ].
|
||||
system_message(error(unknown, Where)) -->
|
||||
[ 'EXISTENCE ERROR- procedure ~w undefined' - [Where] ].
|
||||
system_message(error(unhandled_exception,Throw)) -->
|
||||
[ 'UNHANDLED EXCEPTION - message ~w unknown' - [Throw] ].
|
||||
system_message(Messg) -->
|
||||
[ '~q' - Messg ].
|
||||
|
||||
|
Reference in New Issue
Block a user