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 GAA29757; Wed, 7 Jan 2004 06:47:32 +0100 (MET) 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 GAA28772 for ; Wed, 7 Jan 2004 06:47:31 +0100 (MET) Received: from dell.nogin.org (charter-242-037.caltech.edu [131.215.242.37]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id i075lT519317; Wed, 7 Jan 2004 06:47:30 +0100 (MET) Received: from cs.caltech.edu (localhost.localdomain [127.0.0.1]) by dell.nogin.org (8.12.10/8.12.9) with ESMTP id i075lNti017558; Tue, 6 Jan 2004 21:47:28 -0800 Message-ID: <3FFB9D6B.6020704@cs.caltech.edu> Date: Tue, 06 Jan 2004 21:47:23 -0800 From: Aleksey Nogin Organization: California Institute of Technology, Computer Science Department User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6a) Gecko/20031023 X-Accept-Language: ru, en-us, en MIME-Version: 1.0 To: Damien Doligez CC: Caml List Subject: Re: [Caml-list] 3.07: debug information on camlp4-processed files is missing the file name? References: <54D8B96E-3FBC-11D8-BEFF-00039310CAE8@inria.fr> In-Reply-To: <54D8B96E-3FBC-11D8-BEFF-00039310CAE8@inria.fr> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 3.07:01 camlp:01 damien:01 artem:01 camlp:01 re-raised:01 re-raised:01 626:99 unify:01 unify:01 debug:01 doligez:01 caltech:01 caltech:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 05.01.2004 12:18, 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. It works, but produces results that are slightly (but insignificantly) different from the ones that I get without camlp4. For example: with camlp4: > Raised by primitive operation at file "unify_mm.ml", line 1, character 20504 > Re-raised at file "unify_mm.ml", line 1, character 22067 > Called from file "unify_mm.ml", line 1, character 27263 ... Without: > Fatal error: exception Out_of_memory > Raised by primitive operation at file "unify_mm.ml", line 560, character 63 > Re-raised at file "unify_mm.ml", line 595, character 11 > Called from file "unify_mm.ml", line 707, character 76 ... Character 20504 in the file is indeed "line 560, character 63", but "character 22067" is not the same as "line 595, character 11". the code in question is: ... else begin if ... and non-camlp4 "line 595, character 11" one points to the space between "else" and "begin", while camlp4's "character 22067" points to the space right before the "if". P.S. Why would an exception (supposedly raised inside the "true" branch of an if) be re-raised at the end of the "if" branch? -- Aleksey Nogin Home Page: http://nogin.org/ E-Mail: nogin@cs.caltech.edu (office), aleksey@nogin.org (personal) Office: Jorgensen 70, tel: (626) 395-2907 ------------------- 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