Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Jan Kybic <kybic@f...>
Subject: [Caml-list] Q: Correct locations for macro camlp4 extensions
Hello,
        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

-- 
-------------------------------------------------------------------------
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