Ali Kheradmand

@daejunpark Thanks Daejun. I just want mention that my problem was solved by dropping [function]. I don't know if you want to keep the issue open (for the kompile warning)...

what is the correct sort for `` ? My configuration is : ``` .K .K ``` I want to have a rule like: ``` rule @egressDefined( F:ControlFunctionName ... Rest) =>...

With this ``` rule @egress => (#if @egressDefined(S) #then egress (); #else . #fi) ~> @deparseNext(L) ... L:List S syntax Bool ::= "@egressDefined" "(" K ")" [function] rule @egressDefined( F:ControlFunctionName...

I looked at kool, I see something like this there ``` // the syntax declarations below are required because the sorts are // referenced directly by a production and, because...

I will try to craft a minimal example. The problem is that the issue does not manifest in small examples that I tried so far.

A quick look shows that the option does not work because the option (defined in KRunOptions.java) is not used anywhere in the project. But it seems that it was implemented...

to see the definition take a look at this: https://github.com/kframework/p4-semantics this is the result of kompile when I remove the *-kompiled folder: ``` time kompile configuration.k --syntax-module P4-SYNTAX --debug -v...

It is most probably not a concurrency problem because first of all I don't think there are multiple threads involved here, and second, even adding a long delay does not...

@cos @daejunpark I tried to create a simplified version of the problem and here it is: ``` module TEST configuration @init($PGM:Program) .K .K .List .List syntax Program ::= "www" syntax...

Actually the simplified example was fixed by changing `.` to `.List`. But doing so did not solve the problem in the actual program. The actual rules are like this: ```...