Question: Proper way to use CodeTools:-Test

Cause CodeTools:-Test will not eval the paramater:

f := x -> x+1;

y := 2;

CodeTools:-Test( f(1), 2); # this will work as normal

CodeTools:-Test( f(1), y); # this will not work because `y` will not eval as 2


So current my solution is

test := subs(y=2, () -> CodeTools:-Test( f(1), y));




I don't know is there any more proper solution for this.

More general, is there a way to force evaluate an `uneval` parameter?


Please Wait...