From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA32206; Mon, 23 Aug 2004 11:34:04 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA31857 for ; Mon, 23 Aug 2004 11:34:03 +0200 (MET DST) Received: from relay.felk.cvut.cz (relay.felk.cvut.cz [147.32.80.7]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i7N9Y2RM000572 for ; Mon, 23 Aug 2004 11:34:02 +0200 Received: from k333.felk.cvut.cz (k333.felk.cvut.cz [147.32.87.5]) by relay.felk.cvut.cz (8.12.11/8.12.11) with ESMTP id i7N9XqEJ074370 for ; Mon, 23 Aug 2004 11:33:52 +0200 (CEST) (envelope-from kybic@fel.cvut.cz) Received: from K333/SpoolDir by k333.felk.cvut.cz (Mercury 1.48); 23 Aug 04 11:33:52 +0100 Received: from SpoolDir by K333 (Mercury 1.48); 23 Aug 04 11:33:46 +0100 Received: from biogw-ii-19.felk.cvut.cz (147.32.84.19) by k333.felk.cvut.cz (Mercury 1.48) with ESMTP; 23 Aug 04 11:33:41 +0100 To: caml-list@pauillac.inria.fr Subject: [Caml-list] Q: Correct locations for macro camlp4 extensions From: Jan Kybic Date: 23 Aug 2004 11:33:41 +0200 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2.93 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-MailScanner-felk: Found to be clean X-MailScanner-SpamCheck-felk: not spam, SpamAssassin (score=-4.9, required 5, BAYES_00 -4.90) X-Miltered: at concorde with ID 4129BA0A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; camlp:01 implemented:01 'let:01 haskell:01 camlp:01 3.07:01 pointers:01 420:99 ifdef:01 ocaml:01 caml:01 caml:01 workaround:01 patch:02 patch:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 tel. +420 2 2435 7264 or , 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