Previous  Up  Next

Module Typecheck


module Typecheck: sig .. end
check_defs backend_targets mod_name filename mod_in_output env ast typescheck the parsed module ast from file filename in environment env. It is assumed that mainly the backends backend_targets will be used later, i.e. only for these backends problems like missing definitions are reported. However, information for all targets is still The new definitions are added to the environment as new module mod_name. The result is a new environment as well as the type-checked ast of the module. The flag mod_in_output is stored in the resulting module description. It signals, whether the module will be written to file.
val check_defs : Target.Targetset.t ->
       Name.t ->
       string ->
       bool ->
       Typed_ast.env ->
       Ast.defs * Ast.lex_skips ->
       Typed_ast.env * (Typed_ast.def list * Ast.lex_skips)
check_defs backend_targets mod_name filename mod_in_output env ast typescheck the parsed module ast from file filename in environment env. It is assumed that mainly the backends backend_targets will be used later, i.e. only for these backends problems like missing definitions are reported. However, information for all targets is still The new definitions are added to the environment as new module mod_name. The result is a new environment as well as the type-checked ast of the module. The flag mod_in_output is stored in the resulting module description. It signals, whether the module will be written to file.