Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

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.

Steven

On 6/6/12 1:49 PM, Matthew Rocklin wrote: Is there a way to turn a Maude _expression_ into a string? 

I'm looking for the equivalent of Haskell's "show."

--

Matthew Rocklin

University of Chicago

Computer Science PhD Student

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help