install_alarm/1 not present/exported/defined (bug in time.c?)

[Sebastian Sardina]

Hi,

I think I came across a simple bug in the time library. Basically, it is not
exporting the documented predicate install_alarm/1.

==================================================================
Welcome to SWI-Prolog (Multi-threaded, Version 5.6.35)
Copyright (c) 1990-2007 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- use_module(library(time)).
%  library(lists) compiled into lists 0.00 sec, 11,636 bytes
% library(time) compiled into time 0.04 sec, 168,600 bytes

Yes
?- install_alarm('$alarm'(2001076)).
ERROR: Undefined procedure: install_alarm/1
?-
==================================================================

Trying to track why this is the case I found:

1) install_alarm/1 is not exported in :- module  declaration in file
library/time.pl

2) If I try to fix myself (1) by adding install_alarm/1 to the module
directive, then the library does not load well:

?- use_module(library(time)).
%  library(lists) compiled into lists 0.01 sec, 11,636 bytes
ERROR: (/usr/lib/pl-5.6.35/library/time.pl:111):
        Exported procedure time:install_alarm/1 is not defined
% library(time) compiled into time 0.03 sec, 168,812 bytes

Yes
?-  


This suggests that my binary
library /usr/lib/pl-5.6.35/lib/i386-linux-gnu/time.so does not export
install_alarm/1.

However, I downloaded the source code, inspected package/time.c and
install_alarm/1 seems to be defined and exported.


That's all info I could provide if that helps.

Sebastian
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

[Jan Wielemaker]

Sebastian,

I thought this was already answered?  I think you are mixing up the
binary of one version with the source of another.  install_alarm/1
is available in the current version.  Just upgrade.

        --- Jan

On Tuesday 20 May 2008 03:05:20 Sebastian Sardina wrote:

> Hi,
>
> I think I came across a simple bug in the time library. Basically, it is
> not exporting the documented predicate install_alarm/1.
>
> ==================================================================
> Welcome to SWI-Prolog (Multi-threaded, Version 5.6.35)
> Copyright (c) 1990-2007 University of Amsterdam.
> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
> and you are welcome to redistribute it under certain conditions.
> Please visit http://www.swi-prolog.org for details.
>
> For help, use ?- help(Topic). or ?- apropos(Word).
>
> ?- use_module(library(time)).
> %  library(lists) compiled into lists 0.00 sec, 11,636 bytes
> % library(time) compiled into time 0.04 sec, 168,600 bytes
>
> Yes
> ?- install_alarm('$alarm'(2001076)).
> ERROR: Undefined procedure: install_alarm/1
> ?-
> ==================================================================
>
> Trying to track why this is the case I found:
>
> 1) install_alarm/1 is not exported in :- module  declaration in file
> library/time.pl
>
> 2) If I try to fix myself (1) by adding install_alarm/1 to the module
> directive, then the library does not load well:
>
> ?- use_module(library(time)).
> %  library(lists) compiled into lists 0.01 sec, 11,636 bytes
> ERROR: (/usr/lib/pl-5.6.35/library/time.pl:111):
>         Exported procedure time:install_alarm/1 is not defined
> % library(time) compiled into time 0.03 sec, 168,812 bytes
>
> Yes
> ?-
>
>
> This suggests that my binary
> library /usr/lib/pl-5.6.35/lib/i386-linux-gnu/time.so does not export
> install_alarm/1.
>
> However, I downloaded the source code, inspected package/time.c and
> install_alarm/1 seems to be defined and exported.
>
>
> That's all info I could provide if that helps.
>
> Sebastian
> _______________________________________________
> SWI-Prolog mailing list
> SWI-Prolog@...
> https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog