K-user mailing list

[wang_feng_bro AT 163.com]

Hi all,

I try to use K to write the syntax and semantic of some language. But it fails to compute all the statements   except the first one. I already add 

  

        rule S1:Stmts S2:Stmts => S1 ~> S2  [structural]

 in my codes. And the declaration rule is,

    rule <k> ... let X = I:Int; =>. ... </k>  

       <env> Env => Env[X <- !N:Int] </env>

       <store> .Map => (!N:Int |-> I) </store> requires notBool(X in keys(Env)) 

It just can’t recognize two declaration “let x=2; let y=3”. it’s stuck at“let y=3” . Why that ?

Thanks,

Jerry