maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [[Maude-help] ] multiple distinct parses for statement

From: "Liu, Si" <siliu3 AT illinois.edu>
To: "rainer.mann.rm AT gmx.de" <rainer.mann.rm AT gmx.de>, "maude-help AT lists.cs.illinois.edu" <maude-help AT lists.cs.illinois.edu>
Subject: Re: [[Maude-help] ] multiple distinct parses for statement
Date: Mon, 4 Feb 2019 21:18:45 +0000
Accept-language: en-US
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=siliu3 AT illinois.edu; dkim=pass header.d=uillinoisedu.onmicrosoft.com header.s=selector1-illinois-edu; dmarc=pass header.from=illinois.edu

I think it messed up with the built-in theory.

Try:

fmod BOOLEAN is
sort Boolean .
ops t f : -> Boolean [ctor] .
op not_ : Boolean -> Boolean [prec 53] .

eq not f = t .
eq not t = f .
endfm

On 2/4/19 3:12 PM,
rainer.mann.rm AT gmx.de
wrote:
> I am leaning Maude from the book "Designing Reliable Distributed Systems" by
> Peter Csaba Ölveczky,
> https://link.springer.com/book/10.1007/978-1-4471-6687-0
>
> I made a simple specification which is a simplification of an example
> provided
> on page 15 of the book.
>
> fmod BOOLEAN is
> sort Boolean .
> ops true false : -> Boolean [ctor] .
> op not_ : Boolean -> Boolean [prec 53] .
>
> eq not false = true .
> eq not true = false .
> endfm
>
> Loading this example into maude, I received an error message:
>
> Warning: "boolean.maude", line 6 (fmod BOOLEAN): multiple distinct parses
> for
> statement
> eq not false = true .
>
> What's going on here?
>
> Thanks
> Rainer

[[Maude-help] ] multiple distinct parses for statement, rainer.mann.rm, 02/04/2019
- Re: [[Maude-help] ] multiple distinct parses for statement, Liu, Si, 02/04/2019
  - Re: [[Maude-help] ] multiple distinct parses for statement, Steven Eker, 02/04/2019
    - [[Maude-help] ] Odp.: multiple distinct parses for statement, Bartosz Zielinski, 02/04/2019
      - [[Maude-help] ] random not found, Rainer Mann, 02/12/2019
        
        Re: [[Maude-help] ] random not found, Paco Durán, 02/12/2019
        
        Re: [[Maude-help] ] random not found, Rainer Mann, 02/12/2019