K-user mailing list

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

Hello,

I have this rule which put a map of Variable, Value pairs to the actual environment.

```
syntax K ::= putToActualEnv(Map)
rule putToActualEnv(.Map) => .K
rule <k> putToActualEnv(Key |-> Val M:Map) => putToActualEnv(M) ... </k>
      <env> Rho => Rho[Key <- !N:Int] </env>
      <store>... .Map => !N |-> Val ...</store>
```

It works perfectly but sometimes when I want to use krun with --debugger options I get error when K reaches putToActualEnv:
[Error] Critical: failed to concatenate maps with common keys: [(Int(#"1"),Int(#"55"),Int(#"14"))] while evaluating function _Map_

What is the problem in this case?

Thank you your answer in advance.

Best regards,

Mihály Palenik