From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA15309 for caml-redistribution@pauillac.inria.fr; Fri, 12 Nov 1999 17:48:24 +0100 (MET)
Resent-Message-Id: <199911121648.RAA15309@pauillac.inria.fr>
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 RAA12191 for <caml-list@pauillac.inria.fr>; Fri, 12 Nov 1999 17:10:16 +0100 (MET)
Received: from tobago.inria.fr (tobago.inria.fr [128.93.8.21])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA28506
	for <caml-list@inria.fr>; Fri, 12 Nov 1999 17:10:14 +0100 (MET)
Received: (from doligez@localhost) by tobago.inria.fr (8.6.10/8.6.6) id RAA07369 for caml-list@inria.fr; Fri, 12 Nov 1999 17:10:13 +0100
Date: Fri, 12 Nov 1999 17:10:13 +0100
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199911121610.RAA07369@tobago.inria.fr>
To: caml-list@inria.fr
Subject: Re:  Exceptions inside assertions
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 12 Nov 1999 17:48:24 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

>From: Gerd Stolpmann <Gerd.Stolpmann@darmstadt.netsurf.de>
>
>I have a problem with exceptions which are raised within the expression of an
>assertion, e.g.
>
>assert (raise Not_found)
>
>The current behaviour is that the exception "falls through the
>assertion" which may not be appropriate for some cases.

I'd say this is a bug: the doc says Assert_failure is raised whenever
the expression does not evaluate to true.

This will be fixed in the next release.

-- Damien