Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.dist > #692884

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

From ucko@debian.org (Aaron M. Ucko)
Newsgroups linux.debian.bugs.dist, linux.debian.maint.ocaml.maint
Subject Bug#802166: otags: fails to install: post-installation script returned error exit status 3
Date 2015-11-08 23:30 +0100
Message-ID <qsGDg-69c-13@gated-at.bofh.it> (permalink)
References <qqUKl-20V-3@gated-at.bofh.it> <qsErL-4Ks-3@gated-at.bofh.it>
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


Hendrik Tews <hendrik@askra.de> 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 OCaml 4.02.x.

> If somebody could send me that stdLabels.mli (or include it here
> in the bug report) I will try to take a look.

http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/release/4.02.3/stdlib/stdLabels.mli?revision=16239&view=markup
The non-comment lines are simply

module Array = ArrayLabels
module Bytes = BytesLabels
module List = ListLabels
module String = StringLabels

> (When I wrote otags, I explicitly avoided catch-all clauses. This

Fair enough.

Thanks for writing otags, and for looking into this report!

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?amu@monk.mit.edu

Back to linux.debian.bugs.dist | Previous | NextPrevious in thread | Find similar


Thread

Bug#802166: otags: fails to install: post-installation script returned error exit status 3 Hendrik Tews <hendrik@askra.de> - 2015-11-08 21:10 +0100
  Bug#802166: otags: fails to install: post-installation script returned error exit status 3 ucko@debian.org (Aaron M. Ucko) - 2015-11-08 23:30 +0100

csiph-web