interpformat sread_term error with infix function symbol

[aherranz]

Not sure if this is a bug.

I have an output file obtained with mace4 with the following op declaration:

Input: Select all

op(200,infix_left,"<--").

Running interpformat results in:

Input: Select all

function(%%START ERROR%%<--(_,_), [
0, 0,
0, 0 ]%%END ERROR%%),
...

Fatal error: sread_term error

Regards.

[aherranz]

I forgot to mention I'm using LADR version 2009-02A, Ubuntu 9.04 with kernel Linux 2.6.28-12-generic #43-Ubuntu SMP.

[mccune]

Yes, that's a bug. It has already been fixed, and the fix will be in the next release. Here is the ChangeLog entry.

March 17, 2009.
Interpformat and Isofilter: would crash in some cases when
the Mace4 job used op commands to declare print/parse properties.
Fixed by introducing "simple_parse" flag in parse.c. This
avoids problems when special symbols are used in standard
prefix form, e.g., interps in standard form.

For now, the only thing I can think of to do is to change <--(_,_) to _ <-- _ in the interpretation in the Mace4 output.

Bill