I don't understand how BindCC should work.
Maybe on the example of test10, can somebody explain how this is evaluated?
Code: Alles auswählen
runInterp(And(true, BindCC('k, Or(true, App('k, false)))))
It is said, that we should bind the body (Or(true, App('k, false))) to the param ('k). Recursive binding makes no sense, since it wouldn't terminate. And since we have no lazy evaluation k will surely be looked up (although it is not needed).
I just don't see how this could evaluate correctly.