search

jwaldmann / haskell-tpdb

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

symbol output is wrong #5

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

currently, I get

<funapp 
><name 
><name 
><string 
><![CDATA[b]]></string></name></name
>

this results in

UNSUPPORTED
error while parsing
expected letter abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_0123456789&;:- but first symbol is "!"
jwaldmann commented 10 years ago

I tried to fix this earlier with the HACK

https://github.com/jwaldmann/haskell-tpdb/blob/a2e6c19a5f67f3ce9adc8f33f432b2d9d22698bb/TPDB/Data/Xml.hs#L41

but now I'm calling symbolize https://github.com/jwaldmann/haskell-tpdb/blob/a2e6c19a5f67f3ce9adc8f33f432b2d9d22698bb/TPDB/CPF/Proof/Xml.hs#L114