dowsindex save fails with "uncaught exception: IndexTypes.Bad_format"

[kit-ty-kate]

$ dowsindex save
dowsindex: internal error, uncaught exception:
           IndexTypes.Bad_format("/Users/kit_ty_kate/.opam/default/lib/dose3-extra/dose_extra.cmt")

# opam config report
# opam-version         2.2.0~alpha~dev (c8f8f74b45e14379cff9811a9aefbbf1770d0da4)
# self-upgrade         no
# system               arch=arm64 os=macos os-distribution=homebrew os-version=12.0
# solver               builtin-mccs+glpk
# install-criteria     -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed
# upgrade-criteria     -removed,-count[avoid-version,changed],-count[version-lag,solution],-count[missing-depexts,changed],-new
# jobs                 7
# repositories         1 (local), 2 (version-controlled)
# pinned               10 (git), 1 (rsync)
# current-switch       default
# ocaml:native         true
# ocaml:native-tools   true
# ocaml:native-dynlink true
# ocaml:stubsdir       /Users/kit_ty_kate/.opam/default/lib/ocaml/stublibs:/Users/kit_ty_kate/.opam/default/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       4.13.0~beta1

[kit-ty-kate]

cc @AltGr too since the exception comes from ocp-index

[kit-ty-kate]

Turns out it was a relica of a previous manual installation with OCaml 4.12.0. It works once the directory rm -r'd. However dowsing should catch this exception somewhere in my opinion. Maybe being able to detect it comes from a previous OCaml version might help too (though I know this might be quite a bit harder)

[Drup]

Eh, that's unfortunate.

In any case, eventually the plan is to go through odoc's infrastructure instead, which would solve all these issues.

[Drup]

Fixed now that we use odoc!