maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Subsorts that... overlap? aren't working how I expect

From: Tony Garnock-Jones <tonyg AT ccs.neu.edu>
To: Steven Eker <eker AT csl.sri.com>, maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Subsorts that... overlap? aren't working how I expect
Date: Tue, 03 Sep 2013 18:14:54 -0400
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

On 09/03/2013 02:50 PM, Steven Eker wrote:
> if you want [intersection sorts] you must add them manually

Ah, thank you. That's useful. As it happens, I was lucky enough not to
need one of the two, so I'm OK without intersection sorts for now.

> Memberships compute a least sort, but a term has multiple least sorts,
> which one you get is unpredictable, but reproducible.

OK, that's good to know.

Regards,
Tony

[Maude-help] Subsorts that... overlap? aren't working how I expect, Tony Garnock-Jones, 09/03/2013
- Re: [Maude-help] Subsorts that... overlap? aren't working how I expect, Steven Eker, 09/03/2013
  - Re: [Maude-help] Subsorts that... overlap? aren't working how I expect, Tony Garnock-Jones, 09/03/2013