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 QAA04739; Fri, 3 Sep 2004 16:37:20 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA05636 for ; Fri, 3 Sep 2004 16:37:18 +0200 (MET DST) Received: from smtp.mbg.ocn.ne.jp (mbg.ocn.ne.jp [210.190.142.181]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i83EbHNx002484 for ; Fri, 3 Sep 2004 16:37:18 +0200 Received: from localhost (p56080-adsau08doujib4-acca.osaka.ocn.ne.jp [61.214.192.80]) by smtp.mbg.ocn.ne.jp (Postfix) with ESMTP id 3D8256228 for ; Fri, 3 Sep 2004 23:37:16 +0900 (JST) Date: Fri, 03 Sep 2004 23:37:04 +0900 (JST) Message-Id: <20040903.233704.59679919.yoriyuki@mbg.ocn.ne.jp> To: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Q: Correct locations for macro camlp4 extensions From: Yamagata Yoriyuki In-Reply-To: <1093258774.15255.267.camel@pelican.wigram> References: <1093258774.15255.267.camel@pelican.wigram> X-Mailer: Mew version 3.3 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4138819D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 camlp:01 yamagata:01 yoriyuki:01 yoriyuki:01 sourceforge:01 caml-list:01 camlp:01 2004:99 2004:99 failwith:01 backtrace:01 failwith:01 yamagata:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: skaller Subject: Re: [Caml-list] Q: Correct locations for macro camlp4 extensions Date: 23 Aug 2004 20:59:34 +1000 > On Mon, 2004-08-23 at 19:33, Jan Kybic wrote: > > 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) > > Use Ocaml 3.08. From change list on web site: > > Camlp4: > * Support for new-style locations (line numbers, not just character numbers). Does camlp4 really report the correct line number? I ask because my program exits after "failwith" call, but the backtrace prints the location which does not correspond the call of failwith either in the original source, or in the camlp4 pretty printed code. I use only stream parser in this program. There is no other syntax extension used. The syntax is original ocaml, not revised one. Am I missing somthing? -- Yamagata Yoriyuki ------------------- 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