diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

FIX #85 (defaultyness & meta_predicate), and thus #84, #82, #69

Browse Source
This commit is contained in:
Ulrich Neumerkel 2009-05-28 19:23:43 +02:00 committed by Costa Vitor
parent 2b495cd095
commit c1dcb1d75d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pl/signals.yap
View File

@ -211,6 +211,10 @@ on_signal(Signal,OldAction,default) :-
'$reset_signal'(Signal, OldAction).
on_signal(Signal,OldAction,Action) :-
var(Action), !,
throw(error(system_error,'Somehow the meta_predicate declarations of on_signal are subverted!')).
on_signal(Signal,OldAction,Action) :-
Action = (_:Goal),
var(Goal), !,
'$check_signal'(Signal, OldAction),
Action = OldAction.
on_signal(Signal,OldAction,Action) :-
@ -234,6 +238,10 @@ on_signal(Signal,OldAction,Action) :-
'$check_signal'(_, default).
alarm(Interval, Goal, Left) :-
Interval == 0, !,
on_signal(sig_alarm, _, Goal),
'$alarm'(Interval, 0, Left, _).
alarm(Interval, Goal, Left) :-
integer(Interval), !,
on_signal(sig_alarm, _, Goal),