K-user mailing list

[Eric Huber <echuber2 AT illinois.edu>]

I believe that HOLE is deprecated and doesn't even lex as a keyword any more... the internal syntax uses "freezer" as you'll see if it halts with an incomplete evaluation, and you're supposed to handle the rules using strictness specifications now rather than HOLE. In the long run this is easier, but the documentation needs to be updated to reflect it. I think your best bet is to look for the most recently updated examples that ship in the K directory and study those.

Regards

Eric Huber

On Mon, Oct 17, 2016 at 8:02 AM, Alex <alexdba AT gmail.com> wrote:

Greetings!

I'm trying to use HOLE  to anticipate an evaluation

and then plug it back to the context, but I get a compiler error

suggesting that HOLE is an ordinary variable:

[Error] Compiler: Found variable HOLE on right hand side of rule,
not bound on left hand side. Did you mean "?HOLE"?

My attempts are based in examples, is the use of HOLE

officially documented somewhere?

Thanks!