anchor.diff:     *   rather provide a separate F* command --detect_cycles --alredy_cached '*' that builds
      *   can invoke in the end for cycle detection
      *)
  +  Errors.with_ctx ("While loading parsing data from " ^ file_name) (fun () ->
     let cache_file =
       try
        Parser.Dep.cache_file_name file_name |> Some
  
positive.code:          | Some _ -> load_with_profiling fn
             
      else load_with_profiling fn
  
  
  (*
   * Just to make sure data has the right type
  
negative.code:     match load_checked_file file_name cache_file with
      | _, Inl msg  -> None
      | _, Inr data -> Some data
    )
  
  let load_module_from_cache =
    //this is only used for supressing more than one cache invalid warnings
    let already_failed = BU.mk_ref false in
    fun env fn -> Errors.with_ctx ("While loading module from file " ^ fn) (fun () ->
      let load_it fn () =
        let cache_file = Dep.cache_file_name fn in
        let fail msg cache_file =
  