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