Les exceptions

Les exceptions

Caml-Light offre un mécanisme d'erreurs simple grâce au type exn.

exception Foo ;; 
exception Bar of int;;

Les exceptions sont des valeurs :

let to_foo = function an_exn -> match an_exn with
  | Bar _ -> Foo
  | an_exn -> an_exn ;;

marquées exceptionnelles (déclencher ou lever une exception) par :

raise I

On peut récupérer une exception :

try E with | F ® E_I

let v = 1 in
  try (let v = 2 in raise Foo) 
  with
   | Foo -> v 
;;

Soit E l'environnement courant.

Si l'évaluation de E dans E ne déclenche pas d'exception c'est une valeur V (de type s_v) qui est le résultat.
Sinon, soit I l'exception déclenchée, le résultat de l'évaluation est alors le même que celui de
match I with | F ® E_I

dans l'environnement E.

En particulier les motifs des clauses F_i doivent être des exceptions et les corps des clauses E_I_i doivent avoir des types compatibles avec s_v.

Le filtrage n'a pas besoin d'être exhaustif,

on peut récupérer n'importe quelle exception.

c'est à éviter

Une exception marquée n'est plus une valeur :

let foo = function x -> 
  try (x+1) with 
    | Foo -> -1
;;
foo (raise Foo);;