[opam-devel] opam does not uninstall menhir properly

[Sébastien Hinderer]

Hi,

Here is what happens when uninstalling menhir:

$ opam uninstall menhir
The following actions will be performed:
  ⊘  remove menhir 20151012

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[menhir: ocamlfind remove] Command started
[WARNING] Directory /home/seb/.opam/4.02.1/lib/menhir is not empty, not
          removing
[WARNING] Directory /home/seb/.opam/4.02.1/doc/menhir is not empty, not
          removing
⊘  removed   menhir.20151012
Done.

The remaining files are standard.mly in
/home/seb/.opam/4.02.1/lib/menhir
and the demos directory and manual.pdf in
/home/seb/.opam/4.02.1/doc/menhir.

Given that these files have definitely been installed by Menhir, would
it be possible to fix the uninstall to also remove them? Or should this
perhaps be reported upstream?

Thanks,

Sébastien.