Turn a Maude expression into a String
-
13-06-2021 - |
Pergunta
Is there a way to turn a Maude expression into a string?
I'm looking for the equivalent of Haskell's show
.
Solução
There's no really clean solution. You could convert the expression into a metaterm, metaPrettyPrint it, convert the resulting Qids to strings and concatenate them, but you would still need to deal with lexical issues, such as where to insert spaces.
(From the Maude mailing list)
Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow