K-user mailing list

[Daniele Filaretti <dfilaretti AT gmail.com>]

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