K-user mailing list

["Saxena, Manasvi" <msaxena2 AT illinois.edu>]

Hi Mihaly,

Sorry for the late reply. Would it be possible for you to send over a minimal 
runnable version of the definition, a simple program, and the sequence of 
debugger commands on which the crash occurs? It’ll help reproduce the error 
quickly on my end. If that’s not possible (or takes too much time), then let 
me know, and I’ll try to reproduce the bug using the information in your 
previous email.

Thanks,
Manasvi

> On Mar 23, 2017, at 4:56 AM, Mihály Palenik 
> <palenik.mihaly AT gmail.com>
>  wrote:
> 
> 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