anchor.diff:              "checked file %s is stale (dependence hash mismatch, use --debug yes for more details)"
               checked_fn
           in
  -        BU.smap_add mcache checked_fn (Invalid msg, Inl msg)
  +        let elt = (Invalid msg, Inl msg) in
  +        BU.smap_add mcache checked_fn elt;
  +        elt
         end
   
   
  
positive.code:     let digest = hash_dependences (TcEnv.dep_graph env.env_tcenv) fn in
      match digest with
      | Inr hashes ->
        let tc_result = { tc_result with tc_time=0; } in
          
        //cache_version_number should always be the first field here
        store_value_to_cache cache_file (cache_version_number,
  
negative.code:             with
                | _ -> ()
          in
          validate_iface_cache ();
          elt
        end
        else begin
          if Options.debug_any()
  