anchor.diff:  
   let find_deps_if_needed files =
       if !Options.explicit_deps then
  -      files
  +      files, []
       else
         let _, deps = Parser.Dep.collect files in
         let deps = List.rev deps in
  
positive.code:         else
            failwith "dependency analysis did not find prims.fst?!"
        in
        List.iter (fun d ->
          let d = basename d in
          if get_file_extension d = "fsti" then
            Options.admit_fsi := substring d 0 (String.length d - 5) :: !Options.admit_fsi
          else if get_file_extension d = "fsi" then begin
            Options.admit_fsi := substring d 0 (String.length d - 4) :: !Options.admit_fsi
          end
        ) deps;
        deps
  
  let batch_mode_tc filenames =
      let prims_mod, dsenv, env = tc_prims () in
  
      let filenames = find_deps_if_needed filenames in
      let all_mods, dsenv, env = batch_mode_tc_no_prims dsenv env filenames in
      prims_mod @ all_mods, dsenv, env
  
  let finished_message fmods =
  
negative.code: type stack = list<stack_elt>
  
  
  let batch_mode_tc_no_prims dsenv env filenames admit_fsi =
      let all_mods, dsenv, env = filenames |> List.fold_left (fun (all_mods, dsenv, env) f ->
          Util.reset_gensym();
          // This is reset at after every call to [tc_one_file] terminates... so we're overriding it here.
          Options.admit_fsi := admit_fsi @ !Options.admit_fsi;
          let dsenv, env, ms = tc_one_file dsenv env f in
          all_mods@ms, dsenv, env)
          ([], dsenv, env) in
  