anchor.diff:           | Some _ -> load_with_profiling fn
              
       else load_with_profiling fn
  -
  +  )
   
   (*
    * Just to make sure data has the right type
  
positive.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 ->
      let load_it fn () =
        let cache_file = Dep.cache_file_name fn in
        let fail msg cache_file =
  
negative.code:     (stage1:checked_file_entry_stage1)
      (stage2:checked_file_entry_stage2)
      :unit =
    Errors.with_ctx ("While writing checked file " ^ cache_file) (fun () ->
      BU.save_2values_to_file cache_file stage1 stage2)
  
  let store_module_to_cache env fn parsing_data tc_result =
    if Options.cache_checked_modules()
  