Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 1997-02-04 (14:05)
From: Denis.Barthou@p...
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