let add_result path result cache =
  MapPath.add path result cache