REPL debugger naturally inherits the state from EnsoContext

engine/runtime-instrument-repl-debugger/src/main/java/org/enso/interpreter/instrument/repl/debugger/ReplDebuggerInstrument.java

@@ -41,7 +41,6 @@
 import org.enso.interpreter.runtime.callable.CallerInfo;
 import org.enso.interpreter.runtime.callable.function.Function;
 import org.enso.interpreter.runtime.data.text.Text;
-import org.enso.interpreter.runtime.state.State;
 import org.enso.interpreter.runtime.warning.WarningsLibrary;
 import org.enso.interpreter.runtime.warning.WithWarnings;
 import org.graalvm.options.OptionDescriptor;
@@ -131,7 +130,6 @@ private static class ReplExecutionEventNodeImpl extends ExecutionEventNode
     private @Child ToJavaStringNode toJavaStringNode = ToJavaStringNode.build();
 
     private ReplExecutionEventNodeState nodeState;
-    private State monadicState;
 
     private EventContext eventContext;
     private DebuggerMessageHandler handler;
@@ -250,8 +248,6 @@ protected void onEnter(VirtualFrame frame) {
       if (atExit == null) {
         CallerInfo lastScope = Function.ArgumentsHelper.getCallerInfo(frame.getArguments());
         Object lastReturn = EnsoContext.get(this).getNothing();
-        // Note [Safe Access to State in the Debugger Instrument]
-        monadicState = null; // Function.ArgumentsHelper.getState(frame.getArguments());
         nodeState = new ReplExecutionEventNodeState(lastReturn, lastScope);
         startSessionImpl();
       }
@@ -264,12 +260,6 @@ public void onReturnValue(VirtualFrame frame, Object result) {
       }
     }
 
-    /* Note [Safe Access to State in the Debugger Instrument]
-     * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-     * This is safe to do as we ensure that the instrument's `onEnter` is always called as the
-     * first instruction of the function that it's observing.
-     */
-
     /**
      * Called by Truffle whenever an unwind {@see {@link EventContext#createUnwind(Object)}} was
      * thrown in the course of REPL execution.
@@ -292,8 +282,6 @@ private void startSession(RootNode root, VirtualFrame frame, Object toReturn) {
             new CallerInfo(frame.materialize(), enso.getLocalScope(), enso.getModuleScope());
       }
       if (lastScope != null) {
-        // Note [Safe Access to State in the Debugger Instrument]
-        monadicState = EnsoContext.get(root).currentState();
         nodeState = new ReplExecutionEventNodeState(toReturn, lastScope);
         startSessionImpl();
       }