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 LAA26441; Tue, 11 Sep 2001 11:36:18 +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 LAA26383 for ; Tue, 11 Sep 2001 11:36:17 +0200 (MET DST) Received: from penguin.housemarque.fi (www.housemarque.fi [212.213.160.98]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f8B9aG108280 for ; Tue, 11 Sep 2001 11:36:16 +0200 (MET DST) Received: from [192.168.42.66] (helo=frodo) by penguin.housemarque.fi with smtp (Exim 3.00 #1) id 15gjw8-00083O-00 for caml-list@inria.fr; Tue, 11 Sep 2001 12:34:32 +0300 Message-ID: <001301c13aa5$9ffff090$422aa8c0@housemarque.fi> From: "Vesa Karvonen" To: Subject: [Caml-list] line number for assert Date: Tue, 11 Sep 2001 12:39:17 +0300 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, 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? The reason why I'm asking this is that it makes it much more difficult to find the right assertion on most editors. Is there a simple way to overcome this limitation? I was thinking of the possibility of preprocessing the source code with some simple preprocessor and using a home brewn assertion procedure, but I'd like to hear about simpler solutions. Regards, Vesa Karvonen ------------------- 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