Version française
Home     About     Download     Resources     Contact us    
Browse thread
Type-checking and raise
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Denis.Barthou@p...
Subject: Type-checking and raise
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