K-user mailing list

[<vincenzo.arceri AT univr.it>]

Hi all,
I'm Vincenzo Arceri from University of Verona and I wrote a language
definition on K version 4 and I have some trouble with the --config-var krun
option.

The configuration is

<T>
   <k> $PGM:Program </k>
   <state> $STATE:Map </state>
</T>

and I've tried to run

krun example -cSTATE=".Map"

but I obtain this error

[Error] Critical: Parser returned a non-zero exit code: 113
Stdout:

Stderr:
[Error] Inner Parser: Parse error: unexpected character '.'.
        Source(<command line: -e>)
        Location(1,1,1,2)

Maybe it is a stupid question, but which is the right syntax of -c/--config-
var?

Thank you!

=========================
Vincenzo Arceri, PhD Student
Computer Science Department
Università degli Studi di Verona
Ca’ Vignal 2, Strada le Grazie 15
37134, Verona, Italy
E-mail: 
vincenzo.arceri AT univr.it
Skype: vincenzo.arceri.it
=========================