maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[[maude-help] ] Full Maude 2.7 printformat

From: Arthur Mårtensson <arthurmaartensson AT hotmail.com>
To: "maude-help AT lists.cs.illinois.edu" <maude-help AT lists.cs.illinois.edu>
Subject: [[maude-help] ] Full Maude 2.7 printformat
Date: Thu, 16 Sep 2021 21:50:53 +0000
Accept-language: nb-NO, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=pidQKL5EdspB2P2xhuzNscmJEyIV6l9AOsR51QvD1Tw=; b=BwwU8q69ssvq9G4hzOP5Mb27QATCOq6tMKCMkGwvXiTG5hfYEjH5HfZXjZBDkVFGJV4DrpXCBy9fmd/UbZ0u1kKRYn+7U7c0TDNAF7H+Xy2nPGr82+tOAxS5yQQgd4hSSjbGxupXuwyZygs26HFp8YCtI4EBmMT2cyCEJ3pKXnJYpg/bqBjAXKwKEdj+oaw6o8+JD+0U6Ja7RSSf5VzqjS7lzgmHHsntwHaaLyODuglfgEGLv4ygvA7RzHTH3h5toI/4ZhN1y1JK/UtoOA+kV91NaSHZknz/kmOl49QkaL/ltKx0Y/bisDlOY7aFcb3p9sL5Zb1rwFqKPMwEKZGQMg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=a4ylseD2FvnT+qQTl4Yj0KnSwrQtyFVRBcMkM8+r/srg1CeMtF5h852WoaAQC6GSzSccVQFuGqrJOmhHd6Ugq2vIvVgk5PFXahIUkRdEXz48Qzzs1oYwhi9tKvGka5adNKhY2SXGyTMfOkPQJOP/l1gbCd2Ix8JHYwhde7iKeaUK7gJkpR5kfaosuBRGDNMFKyUuKI3suWguUiOpjpA3qxosUbwrO7olq8XOs9SsIeJ6q38qneqlO0mAT9y/0jZ5C3PDUpWKVZ5DAWw9gFNNFZarDyoMF06dft3NPIYgI7i4arKsw+DsXfsOJKcVhCPpEXlnWBMHeaA0pDPwKlFvww==
Authentication-results: ppops.net; spf=pass smtp.mailfrom=arthurmaartensson AT hotmail.com; dkim=pass header.d=hotmail.com header.s=selector1
Suggested_attachment_session_id: fa03afd3-b01c-4916-050a-b41f32f919ea

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

Attachment: prettyprint.png
Description: prettyprint.png

Attachment: uglyprint.png
Description: uglyprint.png

[[maude-help] ] Full Maude 2.7 printformat, Arthur Mårtensson, 09/16/2021
- Re: [[maude-help] ] Full Maude 2.7 printformat, Paco Durán, 09/20/2021