maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [[maude-help] ] viewing desugared Maude source?

From: Paco Durán <duran AT lcc.uma.es>
To: Marko Schuetz-Schmuck <MarkoSchuetz AT web.de>
Cc: Francisco Durán <duran AT lcc.uma.es>, maude-help AT lists.cs.illinois.edu
Subject: Re: [[maude-help] ] viewing desugared Maude source?
Date: Tue, 31 Aug 2021 18:45:58 +0200
Authentication-results: ppops.net; spf=pass smtp.mailfrom=duran AT lcc.uma.es

Hi Marko,

You only have the (show module .) and (show all .) commands. The show-all
gives you the desugared module, but flatten.

Best,

Francisco

> On 31 Aug 2021, at 17:31, Marko Schuetz-Schmuck
> <MarkoSchuetz AT web.de>
> wrote:
>
> Dear All,
>
> is there a straightforward way to see the desugared source code for Full
> Maude source? For example, if I have some (omod ...) can I easily get to
> the core Maude source code that this is converted to?
>
> Thanks and best regards,
>
> Marko

[[maude-help] ] viewing desugared Maude source?, Marko Schuetz-Schmuck, 08/31/2021
- Re: [[maude-help] ] viewing desugared Maude source?, Paco Durán, 08/31/2021