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