David,
> On 17 Sep 2016, at 14:49, Rob Arthan <r...@lemma-one.com> 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. Regards, Rob.
slrp-bug-cutdown.ML
Description: Binary data
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml