anchor.diff:  
   open FStar.Parser.ParseIt
   
  -type partial_repl_state =
  -  { prepl_env: env_t;
  -    prepl_fname: string;
  -    prepl_stdin: stream_reader;
  -    prepl_names: CompletionTable.table;
  -    prepl_deps: list<completed_dep_task> }
  -
  -type full_repl_state = { repl_line: int; repl_column: int; repl_fname: string;
  +type repl_state = { repl_line: int; repl_column: int; repl_fname: string;
                            repl_deps: list<completed_dep_task>;
                            repl_curmod: option<Syntax.Syntax.modul>;
                            repl_env: env_t;
                            repl_stdin: stream_reader;
                            repl_names: CTable.table }
   
  -type repl_state =
  -| PartialReplState of partial_repl_state
  -| FullReplState of full_repl_state
  -
  -let wrap_repl_state fn r =
  -  match r with
  -  | (status, Inr n) -> (status, Inr n)
  -  | (status, Inl full_st) -> (status, Inl (fn full_st))
  -
  -let repl_stdin = function
  -  | PartialReplState st -> st.prepl_stdin
  -  | FullReplState st -> st.repl_stdin
  -
  -let repl_fname = function
  -  | PartialReplState st -> st.prepl_fname
  -  | FullReplState st -> st.repl_fname
  -
  -let repl_stack: ref<list<full_repl_state>> = Util.mk_ref []
  +let repl_stack: ref<list<repl_state>> = Util.mk_ref []
   
   let repl_stack_empty () =
     match !repl_stack with
  
positive.code:     let status = if peek_only then QueryOK else QueryNOK in
      ((status, JsonList errors), st'')
  
  let run_regular_push (st: full_repl_state) query =
    let commit_names st name_events =
      { st with repl_names = commit_name_tracking st.repl_curmod st.repl_names name_events } in
  
    let do_push st env deps =
      run_regular_push_without_deps st env deps query in
  
    let on_failed_init (env, name_events) deps =
      let st = { st with repl_env = env; repl_deps = deps } in
  
negative.code:         CTable.register_module_path table (loaded mod_key) mod_path ns_query)
      table (List.rev mods) // List.rev to process files in order or *increasing* precedence
  
  let run_symbol_lookup st symbol pos_opt requested_info =
    let dsenv, tcenv = st.repl_env in
  
    let info_of_lid_str lid_str =
  