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 VAA23339 for caml-red; Tue, 26 Sep 2000 21:16:45 +0200 (MET DST)
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 VAA13509 for <caml-list@pauillac.inria.fr>; Mon, 25 Sep 2000 21:56:53 +0200 (MET DST)
Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8PJur121116
	for <caml-list@inria.fr>; Mon, 25 Sep 2000 21:56:53 +0200 (MET DST)
Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM)
	id VAA0000026123; Mon, 25 Sep 2000 21:56:52 +0200 (MET DST)
Date: Mon, 25 Sep 2000 21:56:52 +0200 (MET DST)
From: Damien Doligez <doligez@beaune.inria.fr>
Message-Id: <200009251956.VAA0000026123@beaune.inria.fr>
To: caml-list@inria.fr
Subject: Re: bottom types and threaded exits
Sender: weis@pauillac.inria.fr

>From: Remi VANICAT <remi.vanicat@labri.u-bordeaux.fr>

>exception Sould_never_be_here
>
>let f () = while true do () done ; raise Sould_never_be_here

That's what "assert false" was invented for: the canonical expression
that "returns" a result of type 'a and should normally never be
evaluated.

let f () = while true do () done; assert false;;

-- Damien