K-user mailing list

[Mihály Palenik <palenik.mihaly AT gmail.com>]

Hello,

I have the following sorts:

• In COMMON module

syntax Exps ::= List{Exp, ","}   [strict]

syntax Exp ::= "{" Exps "}"       [strict]  // tuple
syntax Exp ::= "case" Exp "of" Match "end"  [strict(1)]

• In LANG module
  

syntax Value ::= Int | Bool | "{" Values "}"

syntax Values ::= List{Value, ","}

syntax KResult ::= Value | Values

And I have this function call rule:

rule Name(Args) => case { Args } of getMatch end

case rule is work perfectly, but when I use function call rule, K stuck in case. It can't find out that { Args } is a Value.

For example I want to call foo() func, then it stuck

<k> case { .Exps } of { .Exps } -> "something" end </k>

But If I write case { .Exps } of { .Exps } -> "something" end in source code it works and the result is "something".

Thank you your answers in advance!

Best regards,

Mihály Palenik