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 RAA29085 for caml-red; Tue, 31 Oct 2000 17:57:12 +0100 (MET)
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 QAA03447 for <caml-list@pauillac.inria.fr>; Tue, 31 Oct 2000 16:18:23 +0100 (MET)
Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id e9VFIM504831
	for <caml-list@inria.fr>; Tue, 31 Oct 2000 16:18:22 +0100 (MET)
Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM)
	id QAA0000030700; Tue, 31 Oct 2000 16:18:22 +0100 (MET)
Date: Tue, 31 Oct 2000 16:18:22 +0100 (MET)
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <200010311518.QAA0000030700@beaune.inria.fr>
To: caml-list@inria.fr
Subject: RE: Where did the exception occur?~F
Sender: weis@pauillac.inria.fr

>From: "Mattias Waldau" <mattias.waldau@tacton.se>

>Of cource, I could catch each of these at their location, and raise a
>specific exception for each.
>This, however, would mess up the code.

No need for a specific expression, just use "assert false":

  try Hashtbl.find foo bar
  with Not_found -> assert false

and it will report the exact location of the problem.

-- Damien