k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Once working K program is now broken, need help (do we have changelogs ?)

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Once working K program is now broken, need help (do we have changelogs ?)
Date: Fri, 6 Sep 2013 23:31:41 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear K users,

This simple K program demonstrates a feature that works in an older
version K framework but fails with latest version:

module TEST-SYNTAX

syntax Lst ::= List{Test, " "}

syntax Test ::= Id
| "[" Lst "]"

endmodule

module TEST

imports TEST-SYNTAX

endmodule

This compiles fine with both old and latest versions .. The problem is
it doesn't parse this simple program `[a b]` in latest version(fails
with "Critical: Parse error: Syntax error near unexpected character
'b'")

Anyone has ideas on this?

Thanks.

---
Ömer Sinan Ağacan
http://osa1.net

[K-user] Once working K program is now broken, need help (do we have changelogs ?), Ömer Sinan Ağacan, 09/06/2013
- Re: [K-user] Once working K program is now broken, need help (do we have changelogs ?), Radu Mereuta, 09/09/2013
  - Re: [K-user] Once working K program is now broken, need help (do we have changelogs ?), Ömer Sinan Ağacan, 09/09/2013
    - Re: [K-user] Once working K program is now broken, need help (do we have changelogs ?), Robby Findler, 09/09/2013
    - Re: [K-user] Once working K program is now broken, need help (do we have changelogs ?), Rosu, Grigore, 09/09/2013