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 PAA02440 for caml-redistribution; Tue, 4 Feb 1997 15:05:31 +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 NAA00841 for <caml-list@pauillac.inria.fr>; Tue, 4 Feb 1997 13:22:47 +0100 (MET)
Received: from soleil.uvsq.fr (soleil.uvsq.fr [193.51.24.1]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id NAA25177 for <caml-list@inria.fr>; Tue, 4 Feb 1997 13:22:45 +0100 (MET)
Received: from guillotin.prism.uvsq.fr (guillotin.prism.uvsq.fr [193.51.25.1])
          by soleil.uvsq.fr (8.8.5/jtpda-5.2) with ESMTP id NAA09583
          for <caml-list@inria.fr>; Tue, 4 Feb 1997 13:22:45 +0100 (MET)
Received: from sisley.prism.uvsq.fr (sisley.prism.uvsq.fr [193.51.25.73])
          by guillotin.prism.uvsq.fr (8.8.4/jtpda-5.2) with ESMTP id NAA13331
          for <caml-list@inria.fr>; Tue, 4 Feb 1997 13:22:44 +0100 (MET)
From: Denis.Barthou@prism.uvsq.fr (Denis BARTHOU)
Received: from (bad@localhost)
          by sisley.prism.uvsq.fr (8.8.4/jtpda-5.2) id NAA03750
          for caml-list@inria.fr; Tue, 4 Feb 1997 13:22:43 +0100 (MET)
Date: Tue, 4 Feb 1997 13:22:43 +0100 (MET)
Message-Id: <199702041222.NAA03750@sisley.prism.uvsq.fr>
To: caml-list@inria.fr
Subject: Type-checking and raise
Sender: weis

Hello,

Is there any type-checking for "raise" ? Indeed, 
raise Not_found expr
for instance do not trigger any type error, although raise 
is of type exn -> 'a. Any reason for such a behaviour ?

--Denis Barthou