k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Unable to Kompile exp-lambda.k

From: "Moore, Brandon Michael" <bmmoore AT illinois.edu>
To: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Unable to Kompile exp-lambda.k
Date: Wed, 22 Feb 2012 17:52:21 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

> However, I wonder why should Maude anyhow be unhappy with
defining two concat operators for different syntactic categories (one
for Exp and another for Stmt)?

I think the error was that the two productions have different precedence
or associativity, and the message mentioning syntactic categories was
more of a warning. I suppose there might be something like -Werror.

Brandon

[K-user] Unable to Kompile exp-lambda.k, Seyed H. HAERI (Hossein), 02/22/2012
- <Possible follow-up(s)>
- Re: [K-user] Unable to Kompile exp-lambda.k, Traian Florin Șerbănuță, 02/22/2012
  - Re: [K-user] Unable to Kompile exp-lambda.k, Seyed H. HAERI (Hossein), 02/22/2012
    - Re: [K-user] Unable to Kompile exp-lambda.k, Moore, Brandon Michael, 02/22/2012