[PPL-devel] Re: Bignums

[Roberto Bagnara]

Vitor Santos Costa wrote:
> It is a bug, definitely. 

Dear Vitor,

I have tried the CVS version of YAP to see whether
you fixed the bug about bignums (you did, thanks!)
and I have noticed a problem in that version.
This is witnessed by the attached program: if you try
the query "?- bug." you will see that something wrong
is printed.
Cheers

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: bug.pl
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20030112/14cb9c83/attachment.pl>