K-user mailing list

[Alex <alexdba AT gmail.com>]

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!