search

jwaldmann / haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)
2 stars 2 forks source link

TPDB plain text parser cannot read comment #9

Open jwaldmann opened 10 years ago

jwaldmann commented 10 years ago 
matchbox2014 --cpf tpdb/tpdb-4.0/TRS/HofWald/2.trs 
matchbox2014: "input" (line 2, column 24):
unexpected "-"
expecting "," or ")"

cat tpdb/tpdb-4.0/TRS/HofWald/2.trs
(Comment with f(a,z) = A(z), f(f(a,a),z) = B(z),
         this is AB(z) -> BAA(z)
         this is not RFC-match-bounded (but its reverse is)
)
(VAR x)
(RULES f (a, f (f (a, a), x)) -> f (f (a, a), f (a, f (a, x))))
jwaldmann commented 6 years ago

similar: tpdb-4.0/SRS/Zantema06/rel09.srs 

pure-matchbox: "input" (line 9, column 34):
unexpected ";"
expecting "," or ")"
CallStack (from HasCallStack):
  error, called at src/TPDB/Input/File.hs:24:21 in tpdb-2.1.1-H8rbAXXSma2B3X9d1Pgeei:TPDB.Input.File

file contents:

(RULES
0 p 0  ->= q ,
1 p 1  ->= q ,
0 q 0  ->= q ,
1 q 1  ->= q ,
b q b  -> b p b , 
p  ->= 1 p 1 0 1 
)
(COMMENT: encoding of PCP [1,101];
rel.termin <==> no PCP solution)