I think it has been introduced in 4.02.

On 04/27/2016 12:00 PM, Daniel Bünzli wrote:
> Le mercredi, 27 avril 2016 à 11:43, Jacques-Henri Jourdan a écrit :
>> Or, with the new pattern matching with exception syntax :
>>  
>> match List.hd lst with
>> | exception Failure _ -> Printf.printf "empty list\n"
>> | hd -> ...
> When was that introduced again ? I'm now starting to move to 4.01 language-wise.  
>
> Daniel
>
>    
>
>
>