Jacques Garrigue wrote:
> # raise Exit 3;;
>              ^
> Warning X: this argument is passed to a never returning function.

In my opinion, the text of the warning is misleading. "Exit" is passed 
to a never returning function, and this is ok. The problem is that 
"raise Exit" is applied to an argument but it cannot evaluate to a function.


-- Alain