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 Latin-1 encoded files #8

Open jwaldmann opened 10 years ago

jwaldmann commented 10 years ago 
matchbox2014 --cpf tpdb/tpdb-4.0/TRS/Cime/append-hard.trs 
matchbox2014: tpdb/tpdb-4.0/TRS/Cime/append-hard.trs: hGetContents: invalid argument (invalid byte sequence)

file tpdb/tpdb-4.0/TRS/Cime/append-hard.trs 
tpdb/tpdb-4.0/TRS/Cime/append-hard.trs: ISO-8859 text

od -cx -N32 tpdb/tpdb-4.0/TRS/Cime/append-hard.trs 
0000000   (   C   O   M   M   E   N   T      \n  \n           C   l   a
           4328    4d4f    454d    544e    0a20    200a    4320    616c
0000020   u   d   e       M   a   r   c   h 351  \n  \n           L   i
           6475    2065    614d    6372    e968    0a0a    2020    694c

This is not severe (competition will use xml input format, which works)

matchbox2014 --cpf tpdb/tpdb-8.0.1/TRS/CiME_04/append-hard.xml 
append# (l1,        l2) -> ifappend# (l1, l2,                         is_empty (l1))