Précédent Remonter Suivant

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 ;;
# exception Type_error of typing_error;;


Elles correspondent soit à une variable d'une expression qui n'a pas été déclarée, soit à une erreur proprement dite de typage.


Précédent Remonter Suivant