K-user mailing list

[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