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

Hello, On 29/12/2015 12:44, Hendrik Tews wrote: > Mehdi Dogguy writes: > >> Can you give us a hint on how to work out a real fix for this issue? > > I am looking at it now. There is quite a bit new syntax in 4.02, > yielding quite a few warnings about incomplete pattern in

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

Mehdi Dogguy writes: > Can you give us a hint on how to work out a real fix for this issue? I am looking at it now. There is quite a bit new syntax in 4.02, yielding quite a few warnings about incomplete pattern in otags. Each of these will crash otags in the same way, for

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

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 > >

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

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

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

Hendrik Tews writes: > 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. The issue is presumably stdLabels.mli's use of module aliases, which are new in

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

Package: otags Version: 4.01.1-2 Followup-For: Bug #802166 I ran into this bug too. Here's some output that might be helpful: $ sudo update-otags [sudo] password for amu: Fatal error: escaping exception File "tags.ml", line 361, characters 32-37: Pattern matching failed Please rerun otags

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

Package: otags Version: 4.01.1-2 Severity: serious User: debian...@lists.debian.org Usertags: piuparts Hi, during a test with piuparts I noticed your package failed to install. As per definition of the release team this makes the package too buggy for a release, thus the severity. >From the