From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA06402 for caml-red; Fri, 3 Nov 2000 09:51:09 +0100 (MET)
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 VAA13814 for <caml-list@pauillac.inria.fr>; Thu, 2 Nov 2000 21:32:55 +0100 (MET)
Received: from cs.huji.ac.il (cs.huji.ac.il [132.65.16.10])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA2KWsr13917
	for <caml-list@inria.fr>; Thu, 2 Nov 2000 21:32:54 +0100 (MET)
Received: from zigzag.cs.huji.ac.il ([132.65.208.204])
	by cs.huji.ac.il with esmtp (Exim 3.16 #1)
	id 13rR2b-0000tS-00
	for caml-list@inria.fr; Thu, 02 Nov 2000 22:32:53 +0200
Received: (from orodeh@localhost) by zigzag.cs.huji.ac.il (8.9.3/1.1c)
  id WAA11520; Thu, 2 Nov 2000 22:32:53 +0200
Date: Thu, 2 Nov 2000 22:32:53 +0200 (IST)
From: Ohad Rodeh <orodeh@cs.huji.ac.il>
To: caml-list@inria.fr
Subject: Assert
Message-ID: <Pine.LNX.4.20_heb2.08.0011022226530.11508-100000@zigzag.cs.huji.ac.il>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis@pauillac.inria.fr

List,
    I still cannot figure out why the assert instruction
does not return the line number at which the exception occures.
The characters are no good to me in debugging. I suppose they make
sense from the compiler's point of view, but they are no use to me. 

Suppose one has a LARGE ocaml file, with several "assert" instructions. 
When an assert exception occures, it is not an easy task to figure out
where it came from. 

  Can someone enlighten me on this point?

	Ohad.