K-user mailing list

[Dorel Lucanu <dlucanu AT info.uaic.ro>]

Shouldn't be “let x=2; let y=3;” instead of “let x=2; let y=3”? (note the semicolon at the end).
The _expression_ “let y=3” is not matched by the rule.

Dorel

On 02/02/2017 10:45, wang_feng_bro AT 163.com wrote:

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