3.5 Erreurs de typage
Les exceptions suivantes sont levées quand une erreur de type est détectée :
type typing_error =
*
Unbound_var of string
*
Clash of ml_type * ml_type
*
;;
*
Type typing_error defined.
exception type_error of typing_error;;
*
Exception type_error defined.
Elles correspondent soit à une variable d'une expression qui n'a pas été déclarée, soit
à une erreur proprement dite de typage.