k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Failed to kompile Fig 3 of K Primer

From: "Moore, Brandon Michael" <bmmoore AT illinois.edu>
To: Andrei Arusoaie <andrei.arusoaie AT gmail.com>, "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Failed to kompile Fig 3 of K Primer
Date: Mon, 20 Feb 2012 13:50:41 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

> Hi Seyed,

> Because we rely on Maude parsing, which is not necessarily the best choice,
> sometimes we get into this kind of errors...
> What you can do is to add precedences to you syntactical constructs.
...
> Andrei

In particular, some of the examples in the primer don't work as written
because of missing parsing attributes.

I should fix this, but in the meantime adding "prec 100" to lambdas goes
pretty far, and it can also help to
look at the examples included with the k framework. There are several
variants of exp under
examples/classic/exp - none are exactly like the primer, but that doesn't
matter if you are just looking
at how precedence is declared.

Brandon.

[K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/19/2012
- Re: [K-user] Failed to kompile Fig 3 of K Primer, Andrei Arusoaie, 02/19/2012
  - Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
    - Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
      - Re: [K-user] Failed to kompile Fig 3 of K Primer, Andrei Arusoaie, 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Moore, Brandon Michael, 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012