Debian Bug report logs - #238097
ocaml: No annotation file. You should compile with option "-dtypes"

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: jeremie jakubowicz <Jeremie.Jakubowicz@cmla.ens-cachan.fr>

To: Debian Bug Tracking System <submit@bugs.debian.org>

Subject: ocaml: No annotation file. You should compile with option "-dtypes"

Date: Mon, 15 Mar 2004 11:08:35 +0100

Package: ocaml
Version: 3.07.2a-2
Severity: normal

When trying to paste something with the middle button of my mouse
it fails with the message
"No annotation file. You should compile with option "-dtypes""
I don't know if it is related to another ocaml-formatting package that
I had (apt)installed : tuareg-mode

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.3
Locale: LANG=fr_FR@euro, LC_CTYPE=fr_FR@euro

Versions of packages ocaml depends on:
ii  libc6                       2.3.2.ds1-11 GNU C Library: Shared libraries an
ii  libncurses5-dev             5.4-2        Developer's libraries and docs for
ii  ocaml-base [ocaml-base-3.07 3.07.2a-2    Runtime system for ocaml bytecode 

-- no debconf information

Message #10 received at submit@bugs.debian.org (full text, mbox, reply):

From: Sven Luther <sven.luther@wanadoo.fr>

To: jeremie jakubowicz <Jeremie.Jakubowicz@cmla.ens-cachan.fr>, 238097@bugs.debian.org

Cc: Debian Bug Tracking System <submit@bugs.debian.org>

Subject: Re: Bug#238097: ocaml: No annotation file. You should compile with option "-dtypes"

Date: Mon, 15 Mar 2004 17:33:24 +0100

On Mon, Mar 15, 2004 at 11:08:35AM +0100, jeremie jakubowicz wrote:
> Package: ocaml
> Version: 3.07.2a-2
> Severity: normal
> 
> When trying to paste something with the middle button of my mouse
> it fails with the message
> "No annotation file. You should compile with option "-dtypes""
> I don't know if it is related to another ocaml-formatting package that
> I had (apt)installed : tuareg-mode

Most, probably, i cannot reproduce this here with plain ocaml toplevel.

But then, i have absolutely no idea what you are speaking about, in
particular where you paste the stuff.

Could you provide a test procedure so i can try reproducing this ? 

Friendly,

Sven Luther

Message #20 received at 238097@bugs.debian.org (full text, mbox, reply):

From: Remi Vanicat <vanicat@debian.org>

To: 238097@bugs.debian.org

Subject: Re: Bug #238097 : annotation problem with tuareg, can an emacs user have a look

Date: Fri, 19 Mar 2004 09:49:36 +0100

[Message part 1 (text/plain, inline)]

Here is a patch to the tuareg mode that solve the problem, sending
the offending redefinition of the button-2 (middle button) over the
button-3 (right button).

[tuareg.el.patch (text/x-patch, inline)]

--- /usr/share/emacs/site-lisp/tuareg-mode/tuareg.el	2004-02-23 19:40:15.000000000 +0100
+++ tuareg.el	2004-03-18 20:07:09.000000000 +0100
@@ -856,8 +856,8 @@
   ;; caml-types
   (define-key tuareg-mode-map [?\C-c?\C-t] 'caml-types-show-type)
   ;; to prevent misbehavior in case of error during exploration.
-  (define-key tuareg-mode-map [mouse-2] 'caml-types-mouse-ignore)
-  (define-key tuareg-mode-map [down-mouse-2] 'caml-types-explore)
+  (define-key tuareg-mode-map [mouse-3] 'caml-types-mouse-ignore)
+  (define-key tuareg-mode-map [down-mouse-3] 'caml-types-explore)
   ;; caml-help
   (define-key tuareg-mode-map [?\C-c?i] 'ocaml-add-path)
   (define-key tuareg-mode-map [?\C-c?[] 'ocaml-open-module)

[Message part 3 (text/plain, inline)]

-- 
Rémi Vanicat

Message #29 received at 238097-close@bugs.debian.org (full text, mbox, reply):

From: Ralf Treinen <treinen@club-internet.fr>

To: 238097-close@bugs.debian.org

Subject: close

Date: Mon, 22 Mar 2004 21:47:02 +0100

submitters confirms that the bug is fixed now.
-- 

Send a report that this bug log contains spam.