Type-checking and raise

From: Denis BARTHOU (Denis.Barthou@prism.uvsq.fr)
Date: Tue Feb 04 1997 - 13:22:43 MET

From: Denis.Barthou@prism.uvsq.fr (Denis BARTHOU)
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


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

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET