K-user mailing list

[Andrei Arusoaie <andrei.arusoaie AT gmail.com>]

Hi Jerry,

Is that from KOOL?

If yes, then you must read the entire rule (not only the first row). Essentially, K is a variable, which, in the case of KOOL, is matched by the code stored in the function stack.

Essentially, thing go like this:

When you enter a function, you save the content of the K cell somewhere in the function stack and you replace that content with the body of the function. Then, only the body of the function is executed.

At the end, when you exit from a function, you need to restore: you put the exit value in the <k> cell, followed by the code left to be executed, which is matched by K.

Andrei

2017-06-23 8:28 GMT+03:00 <wang_feng_bro AT 163.com>:

Hi, all

    What is the meaning of “K" in the following rule in the simple language : rule <k> return(V:Val); ~> _ => V ~> K </k>  ? 

Jerry