From d69902e9868e8db2dc11f2ced575fad3f0485a5e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 27 Feb 2010 10:10:23 +0000
Subject: [PATCH] fix alarm/3 for floating point input (obs from Ashwin
 Srinivasan).

---
 pl/signals.yap | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pl/signals.yap b/pl/signals.yap
index 3e529e969..606273eb3 100644
--- a/pl/signals.yap
+++ b/pl/signals.yap
@@ -249,6 +249,12 @@ alarm(Interval, Goal, Left) :-
 	integer(Interval), !,
 	on_signal(sig_alarm, _, Goal),
 	'$alarm'(Interval, 0, Left, _).
+alarm(Number, Goal, Left) :-
+	float(Number), !,
+	Secs is integer(Number),
+	USecs is integer((Number-Secs)*1000000) mod 1000000,
+	on_signal(sig_alarm, _, Goal),
+	'$alarm'(Interval, 0, Left, _).
 alarm(Interval.USecs, Goal, Left.LUSecs) :-
 	on_signal(sig_alarm, _, Goal),
 	'$alarm'(Interval, USecs, Left, LUSecs).