Thanks for that and for cutting it down to something manageable. As a result I've been able to track down and fix the problem. Let me know as and when you find anything else.


On 17/09/2016 16:20, Rob Arthan wrote:

On 17 Sep 2016, at 14:49, Rob Arthan <> wrote:
… I am getting a segfault somewhere in the
ProofPower parser generator. I will report again when I have
isolated that.

To the list of three issues in my previous e-mail, I can now add:

4) In some circumstances a function call can lead to a segfault.

I’ve attached a short extract from the parser generator code that demonstrates 
the problem.
If you execute the body of the function empty_non_terminals interactively
with the parameter bound to the test data, then nothing goes wrong.
If you call the function with the test data as parameter (as on the last line 
of the
attached file) you get a segfault.



polyml mailing list

Reply via email to