search

jwaldmann / haskell-tpdb

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

Replacement Map missing in XML output #44

Open ffrohn opened 8 months ago

ffrohn commented 8 months ago

It seems like the replacement map is not printed to XML for context sensitive systems, see src/XTC/Write.hs:

<signature>
  $forall f <- D.signature rs
    <funcsym>
      <name>#{T.pack $ show f}
      <arity>#{T.pack $ show $ D.arity f}

I observed this when using haskell-tpdb as library here.

ffrohn commented 8 months ago

Similarly, theory-declarations for equational rewriting are missing as well.