caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Stefano Zacchiroli <zack@bononia.it>
To: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] 3.07: debug information on camlp4-processed files is missing the file name?
Date: Thu, 8 Jan 2004 09:17:44 +0100	[thread overview]
Message-ID: <20040108081744.GC27608@fistandantilus.takhisis.org> (raw)
In-Reply-To: <54D8B96E-3FBC-11D8-BEFF-00039310CAE8@inria.fr>

On Mon, Jan 05, 2004 at 09:18:31PM +0100, Damien Doligez wrote:
> You can try this patch, developed by Artem Prysyznuk.  We haven't
> incorporated it because we are doing extensive changes to camlp4
> to deal correctly with new-style locations.  Please let me know
> whether it works for you.

Do this patch change also the output format of -dtypes option when used
in combination with camlp4? Actually while using camlp4, the .annot file
generated uses offsets that are all referred to the beginning of file;
while not using camlp4 offsets are referred to the beginning of each
line.

I'm asking because I've written vim support for .annot files, but
actually it works only with non camlp4 generated .annot files ...

Cheers.

-- 
^Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy$
^zack@{cs.unibo.it,debian.org,bononia.it} -- http://www.bononia.it/zack$
^Frequentando il mio maestro mi ero reso conto [.] che la logica poteva$
^servire a molto a condizione di entrarci dentro e poi di uscirne -Adso$

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  parent reply	other threads:[~2004-01-08  8:17 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-01-05 19:27 Aleksey Nogin
2004-01-05 20:18 ` Damien Doligez
2004-01-07  5:47   ` Aleksey Nogin
2004-01-07 12:50     ` Damien Doligez
2004-01-08  1:29       ` Aleksey Nogin
2004-01-08  8:17   ` Stefano Zacchiroli [this message]
2004-01-08  9:49     ` Damien Doligez
2004-01-08 15:38       ` skaller
2004-01-09 10:46         ` Damien Doligez
2004-01-10 11:15           ` skaller
2004-01-09  8:41       ` Stefano Zacchiroli

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20040108081744.GC27608@fistandantilus.takhisis.org \
    --to=zack@bononia.it \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).