English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Q: Correct locations for macro camlp4 extensions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-08-23 (09:34)
From: Jan Kybic <kybic@f...>
Subject: [Caml-list] Q: Correct locations for macro camlp4 extensions
        I quite like some of the OCaml syntax extensions implemented
with campl4 that I gathered so far, for example:

    pa_macroe.ml (enhanced macros, IFDEF, etc.)

    "where" keyword (enabling you to write 'let x = f 3 where f = ...')

    operator composition (like "$" in Haskell)

    "repeat"/"until" loop

    "for" loop (like in C), as in "for c 0 (c<10) (c+2) do"

They come from Caml Hump, camlp4 tutorial, Usenet articles and WWW
searches. The problem with them is that the line numbers are lost, 
which is a problem for error and assert messages, I get thinks like
Assert_failure("patch.ml", 1, 4798) instead of correct 
Assert_failure("patch.ml", 155, 4)

I am not a camlp4 expert, so I would like to ask if there versions of
the above mentioned extensions that make caml (3.07) generate correct
line numbers. Has the problem been discussed, is there any workaround?

Thank you very much for all pointers,


Jan Kybic <kybic@ieee.org>                  tel. +420 2 2435 7264
       or <kybic@fel.cvut.cz>,     http://cmp.felk.cvut.cz/~kybic

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