Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
High-level compilation functions.
gen_obj indicates whether we should generate object files when compiling source files. The default behaviour is not te generate them.
val parse_file : string -> Parsing.Syntax.astparse_file fname selects and runs the correct parser on file fname, by looking at its extension.
val compile_with :
handle:
(Command.compiler ->
Core.Sig_state.t ->
Parsing.Syntax.p_command ->
Core.Sig_state.t) ->
force:bool ->
Command.compilercompile_with ~handle ~force mp compiles the file corresponding to module path mp using function ~handle to process commands. Module mp is processed when it is necessary, i.e. the corresponding object file does not exist, or it must be updated, or ~force is true. In that case, the produced signature is stored in the corresponding object file if the option --gen_obj or -c is set.
val compile : bool -> Command.compilercompile force mp compiles module path mp using compile_with, forcing compilation of up-to-date files if force is true.
recompile indicates whether we should recompile files who have an object file that is already up to date. Note that this flag only applies to files that are given on the command line explicitly, not their dependencies.
val compile_file : string -> Core.Sign.tcompile_file fname is the main compiling function. It is called from the main program exclusively.
module Pure : sig ... endPure wrappers around compilation functions. Functions provided perform the same computations as the ones defined earlier, but restores the state when they have finished. An optional library mapping or state can be passed as argument to change the settings.