k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] "only productions of sort K, sort KLabel or of syntactic sorts can have strictness attributes" - bug?

From: Radu Mereuta <headness13 AT gmail.com>
To: Daniele Filaretti <dfilaretti AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] "only productions of sort K, sort KLabel or of syntactic sorts can have strictness attributes" - bug?
Date: Sat, 20 Jul 2013 11:46:03 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Most likely a bug. I've added an issue for Traian so he can have a better look.

Radu

On Fri, Jul 19, 2013 at 2:12 PM, Daniele Filaretti <dfilaretti AT gmail.com> wrote:

Hi all,
I'm working with an external parser and I've been having the following problem: when I try to write something like

> syntax KLabel ::= "'Expr" [strict]

kompile produces the following error:

> [Error] Compiler: only productions of sort K, sort KLabel or of syntactic sorts can have strictness attributes

Is it a bug or...?
I'm currently bypassing it using

> syntax KLabel ::= "'Expr"
> context 'Expr(HOLE)

but I would prefer to use strictness attributes where possible, as it keeps the definition concise.

If I remember correctly, it used to work in some previous version of the tool. And btw my current version is:

> SVN Revision: 10223
> Build date: Wed May 29 08:44:31 EEST 2013

Thank you,

Daniele
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] "only productions of sort K, sort KLabel or of syntactic sorts can have strictness attributes" - bug?, Daniele Filaretti, 07/19/2013
- Re: [K-user] "only productions of sort K, sort KLabel or of syntactic sorts can have strictness attributes" - bug?, Radu Mereuta, 07/20/2013