The current scheme is incorrect as statements are wrapped in regular computations directly. Attempts to change the statement monad resulted in a number of errors.
What actually should happen is that debuggables are generated using the meta continuation (the continuation of the construction of the program continuations). Since Javascript doesn't support callcc, this will require introducing a new class of computations. I think this will be easier to achieve once all debugging logic has been split into the debugging library.
The current scheme is incorrect as statements are wrapped in regular computations directly. Attempts to change the statement monad resulted in a number of errors.
What actually should happen is that debuggables are generated using the meta continuation (the continuation of the construction of the program continuations). Since Javascript doesn't support callcc, this will require introducing a new class of computations. I think this will be easier to achieve once all debugging logic has been split into the debugging library.