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 LAA27115; Tue, 11 Sep 2001 11:51:59 +0200 (MET DST) 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 LAA26805 for ; Tue, 11 Sep 2001 11:51:58 +0200 (MET DST) Received: from pochi.inria.fr (pochi.inria.fr [128.93.8.128]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f8B9pp108572; Tue, 11 Sep 2001 11:51:51 +0200 (MET DST) Received: (from mentre@localhost) by pochi.inria.fr (8.11.1/8.10.0) id f8B9poD27098; Tue, 11 Sep 2001 11:51:50 +0200 X-Authentication-Warning: pochi.inria.fr: mentre set sender to David.Mentre@inria.fr using -f To: "Vesa Karvonen" Cc: Subject: Re: [Caml-list] line number for assert References: <001301c13aa5$9ffff090$422aa8c0@housemarque.fi> From: David Mentre Date: 11 Sep 2001 11:51:50 +0200 In-Reply-To: <001301c13aa5$9ffff090$422aa8c0@housemarque.fi> Message-ID: User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk "Vesa Karvonen" writes: > The assert primitive of Ocaml 3.02 (windows version) seems to print the source > file location as an offset from the beginning of the file rather than as a > line number and column. > > Is there a particular reason for this? Yes. Internally, the compiler knows only about character position. The line number is computed (in fact the source file is reparsed) only when an error message is printed: http://caml.inria.fr/archives/200011/msg00032.html > The reason why I'm asking this is that it makes it much more difficult to find > the right assertion on most editors. Except with emacs. :) > Is there a simple way to overcome this limitation? As far as I know, no. However you should look at mailing list archive. This topic has been discussed numerous times. Best regards, d. -- David.Mentre@inria.fr Opinions expressed here are only mine. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr