Précédent Remonter Suivant

3.10  Fonction principale

La fonction type_check type l'expression e par la fonction type_expr avec l'environnement de typage initial et affiche le type calculé de e.


# let type_check e =
let t =
typing_handler type_expr initial_typing_env e in
let qt =
snd(List.hd(generalize_types initial_typing_env ["it",t])) in
print_string "it : "; print_quantified_type qt; print_newline();;
val type_check : ml_expr -> unit = <fun>



Précédent Remonter Suivant