K-user mailing list

["Park, Daejun" <dpark69 AT illinois.edu>]

Hi Mihály,

Sorry for the delay in reply. The issue may be due to a bug or an unsupported feature in K 4.0. Could you please report the issue in the K github issue page with some detailed instruction of how to reproduce your error?

https://github.com/kframework/k/issues

Best,

Daejun

On Dec 19, 2016, at 3:27 PM, Mihály Palenik <palenik.mihaly AT gmail.com> wrote:

Hello!

Can anybody help about my problem?

Best regards

Mihály Palenik

2016. dec. 9 14:41 ezt írta ("Mihály Palenik" <palenik.mihaly AT gmail.com>):

Hello,

I have little problem with SUBSTITUTION. I have this module structure:

module LANG-COMMON

    syntax Variable

endmodule

module LANG-SYNTAX

    import LANG-COMMON

    syntax Variable ::= r"[A-Z][_a-zA-Z0-9@]*"      [token, autoReject]

endmodule

module LANG

    module LANG-COMMON

    import SUBSTITUTION

endmodule

In Lang module I have getMatching function which returns a Map. If this map contains Variable key then the substitution fails. E.g.:

getMatching(...) return with this: Somevar |-> 11 Othervar |-> 23

E1 is an _expression_ like: Somevar + Othervar
Then rule fails which contains this: E1[getMatching(...)]

With this error:
[Error] Critical: Sort KVariable is undefined.
  while evaluating function _[_]

This works with 3.6 but 4.0 fails. Why? And how can I solve this?

Thank you your answers in advance!

Best regards,

Mihály Palenik