Rob,
Have you tried using the Poly debugger?
PolyML.Compiler.debug := true;
open PolyML.Debug;
breakEx Overflow;
then compile your code.
This won't help if the problem is a code-generator bug because adding
the debugging code may well change the code and avoid the bug but if
it's a library function this may narrow it down.
Regards,
David
On 31/03/2019 13:31, Rob Arthan wrote:
I have done some further experiments. I can reproduce the problem on
Mac OS Mojave 10.14.4
Fedora 24
Kubuntu 18.10
The above were all run an iMac using VirtualBox VMs for the Linux
distros.
I also tried running poly under a debugger and found that the problem
doesn’t occur when run under lldb on Mac OS Mojave. It does occur
when run under gdb on the two Linux distros.
Regards,
Rob
On 31 Mar 2019, at 00:04, Rob Arthan <r...@lemma-one.com> wrote:
The tarball did survive the mailing list and I've just unpacked it and tried
the test on my MacBook. The problem does not occur on a MacBook
running Mac OS High Sierra 10.13.6 but does occur on an iMac
running Mac OS Mojave 10.14.4.
I'll try it on some Linux VMs tomorrow.
Regards,
Rob.
On 30 Mar 2019, at 16:50, Rob Arthan <r...@lemma-one.com> wrote:
I was doing some performance comparisons and found what looks like a bug in
Poly/ML
when compiled with —enable-compact32bit. The problem is that ML code that
runs to completion when compiled to use native 64 bit addresses, raises Overflow
when compiled to 32 bit addressing. The code is a lengthy proof search
that explores in excess of 4,000,000,000 blind alleys. It takes about
10 to 20 minutes to find the proof when using 64 bit addressing
and it takes 2 or 3 minutes before it raises Overflow when using 32 bit
addressing.
I don’t really know where to start with narrowing the problem down. I’ve
attached a tarball
containing cutdown source that demonstrates the problem, but the mailing list
software will likely strip it off, hence CC to David.
Regards,
Rob.
<fordavidm20190330.tgz>_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
