anchor.diff:      curmod, Universal.load_interface_decls env intf.tf_fname
     | PushFragment frag ->
       tc_one_fragment curmod env frag
  +  | Noop ->
  +    curmod, env
   
   (** Build a list of dependency loading tasks from a list of dependencies **)
   let repl_ld_tasks_of_deps (deps: list<string>) (final_tasks: list<repl_task>) =
  
positive.code:   if nothing_left_to_pop st then
      ((QueryNOK, JsonStr "Too many pops"), Inl st)
    else
      let st' = pop_repl st in
      ((QueryOK, JsonNull), Inl st')
  
  let write_progress stage contents_alist =
  
negative.code:   | LDInterleaved (_, tf) | LDSingle tf | LDInterfaceOfCurrentFile tf ->
      let modname = Parser.Dep.module_name_of_file tf.tf_fname in
      write_progress (Some "loading-dependency") [("modname", JsonStr modname)]
    | _ -> ()
  
  (** Compute and load all dependencies of `filename`.
  
  