From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 2DCF17F256
	for <caml-list@sympa.inria.fr>; Tue,  6 Nov 2012 13:46:52 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.214;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.214;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.214;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvoAAMgFmVDB/BfWlGdsb2JhbAAqGsNSAQEBAQkLCQkUAySCXUA9FhgDAgECAUsNCAEBiAoHLZlgkQ+QT4wnhjEDlXuBHIRPjUk
X-IronPort-AV: E=Sophos;i="4.80,722,1344204000"; 
   d="scan'208";a="180353084"
Received: from msa05.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.214])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 06 Nov 2012 13:46:51 +0100
Received: from [192.168.1.108] ([86.195.7.154])
	by mwinf5d69 with ME
	id LCmq1k00Z3KPtLN03Cmrgl; Tue, 06 Nov 2012 13:46:51 +0100
Message-ID: <509906BD.6070303@frisch.fr>
Date: Tue, 06 Nov 2012 13:46:53 +0100
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:16.0) Gecko/20121026 Thunderbird/16.0.2
MIME-Version: 1.0
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Help wanted: adapt emacs mode to generate .annot from
 .cmt

Dear all,

Is there any emacs-lisp hacker around who would like to help with the 
following ticket?

   http://caml.inria.fr/mantis/view.php?id=5812

The goal is to adapt the OCaml emacs mode to have it automatically 
(re)generate the .annot file when needed, from the .cmt file, using the 
existing read_cmt tool.  This would allow to get rid of the -annot flag 
when compiling (it is much slower than -bin-annot) while keeping the 
same comfort in emacs.  (I know that better alternatives like TypeRex or 
ocamlspotter exist, but having the default emacs mode support .cmt files 
would still be very useful.)


Alain