Bug#802166: otags: fails to install: post-installation script returned error exit status 3

[Mehdi Dogguy <mehdi@dogguy.org>]

Hi Hendrik,

On 08/11/2015 20:58, Hendrik Tews wrote:
> Hi,
> 
> it's a pattern matching failure in tag_module_type, which means
> the file stdLabels.mli contains some module type that I didn't
> know about when I wrote tag_module_type.
> 
> As a quick solution you can add a catch-all line
> 
>    | _ -> ()
> 
> to tag_module_type. This will hopefully fix the bug, but you
> won't get tags for the offending module type.
> 

I have to admit that I am not a big fan of camlp4 and I guess we
don't want to go with the catch-all workaround since it introduces
a new bug in otags. The function to fix is:

   http://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/otags.git/tree/tags.ml#n361

Can you give us a hint on how to work out a real fix for this issue?
Or, do you plan to release a new version of otags fixing this?

Regards,

-- 
Mehdi