K-user mailing list

[張 民 <zhmtechie AT gmail.com>]

Dear K users,

Maybe I overlooked, but I didn't find in the tutorial about how to use Natural numbers in K. 

I tested the following simple code, but it does not work. 

module TEST 

  syntax Test ::= Id "=" Nat

endmodule 

It can be kompiled. 

But input like a = 3 cannot be parsed, saying that 3 is unexpected. If I use Int instead of Nat, it works. 

Could someone help explain this? 

Best, 

Zhang Min