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 QAA00270; Tue, 11 Sep 2001 16:38:13 +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 QAA00294 for ; Tue, 11 Sep 2001 16:38:12 +0200 (MET DST) Received: from penguin.housemarque.fi (www.housemarque.fi [212.213.160.98]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f8BEc8L04276 for ; Tue, 11 Sep 2001 16:38:09 +0200 (MET DST) Received: from [192.168.42.66] (helo=frodo) by penguin.housemarque.fi with smtp (Exim 3.00 #1) id 15goeD-0000LR-00 for caml-list@inria.fr; Tue, 11 Sep 2001 17:36:21 +0300 Message-ID: <002901c13acf$cb44a780$422aa8c0@housemarque.fi> From: "Vesa Karvonen" To: References: <001301c13aa5$9ffff090$422aa8c0@housemarque.fi> Subject: Re: [Caml-list] line number for assert Date: Tue, 11 Sep 2001 17:41:08 +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 From: "David Menthe" > "Vesa Karvonen" writes: > > 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. :) Well, I guess we'll be using emacs on Ocaml projects, so I think that solves the problem for us. However, I still think that the assertion should output a line number (and column), because it is much more informative to human readers. 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