Maude-help mailing list

[Paco Durán <duran AT lcc.uma.es>]

Hi Arthur,

I don't know how things get into apt, but I'd recommend using the latest 
version of Maude and Full Maude. Version 3.1 is available from its web site. 

Regarding pretty printing, try the FM at 
https://urldefense.com/v3/__https://github.com/maude-team/full-maude/blob/master/full-maude31a.maude__;!!DZ3fjg!rDgCG0LqH4ALI1jMs6t1nTMObLuz2aCXhxPsaOwwvIOYCGTGye3ELqu9vwpdOdy9giXoVnBZRMYy$
 , you should get a prettier print of your object configurations. It will be 
part of an internal alpha and later of an official distribution. 

Best,

Francisco

> On 16 Sep 2021, at 23:50, Arthur Mårtensson 
> <arthurmaartensson AT hotmail.com>
>  wrote:
> 
> Hello,
> 
> I have just started learning Maude for a course, and there seems to be 
> something off with how Full Maude prints Configurations. I'm using Maude 
> 2.7 because that's what apt has available on Ubuntu. I downloaded Core 
> Maude 2.7 through apt last week, and Full Maude 2.7 from the home page two 
> days ago.
> 
> The Maude 2.7 manual seems to demonstrate that Full Maude can print 
> Configurations nicely (see attached screenshot captured from page 430 for 
> an example). However, when I run something like that, I just get a single 
> block of text (see attached screenshot pulled from my terminal). Also, 
> spaces seem to be a bit wonky, and the final message doesn't get wrapped in 
> parentheses. But it is the missing line breaks that make this nigh 
> unreadable, especially as the number of objects grows.
> 
> It seems somewhere in my copy of the program there are line breaks missing 
> in the printing functionality. Is this fixable? If there is just some tiny 
> hack that I can edit into full-maude.maude or something, that would be very 
> nice.
> 
> 
> Regards,
> Arthur Mårtensson
> 
> 
> <prettyprint.png><uglyprint.png>