Fonction principale

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>