Thanks for the report and sorry for that, I was using an int where I should be using a long int. Should be ok now.
I also made a few small changes to hopefully better explit the x68_64 architecture. I am curious on any feedback or any issues you find.
Cheers
Vitor
On 1/25/06, Roberto Bagnara bagnara@cs.unipr.it wrote:
Vitor Santos Costa wrote:
It should be fixed in the CVS. Te c-interface was doing the right thing, but the scanner was reading this number as a bignum (because ithe absolute value is larger than MAX_INT). I fixed the bignum code to do the right check for whether you can represent the number as a small int.
Dear Vitor,
thanks for the fix. Now things work on 32-bit architectures, but the problem seems to persist for 64-bit ones. Here is what happens on an x86_64:
$ yap % Restoring file /home2/bagnara/lib/Yap/startup YAP version Yap-5.1.0 ?- load_foreign_files(['bug'],[],init). yes ?- long_min(M). M = -9223372036854775808 ? yes ?- long_min(M), M == -9223372036854775808. no ?- long_min(M), M = -9223372036854775808. no ?- long_min(M), M = 0 - 9223372036854775808. no ?- long_min(M), M1 is abs(M). M = M1 = -9223372036854775808 ? yes ?- $
The code is exactly as in my original report. All the best,
Roberto-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
This SF.net email is sponsored by: Splunk Inc. Do you grep through log files for problems? Stop! Download the new AJAX search engine that makes searching your log files as easy as surfing the web. DOWNLOAD SPLUNK! http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&da... _______________________________________________ Yap-users mailing list Yap-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/yap-users