Fonction principale

1.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>