ocaml-base-compiler 4.07.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

stdlib

Documentation:

CamlinternalFormatBasics
Stdlib The OCaml Standard library.
Marshal Marshaling of data structures.
CamlinternalLazy Run-time support for lazy values. All functions in this module are for system use only, not for the casual user.
CamlinternalFormat
CamlinternalOO Run-time support for objects and classes. All functions in this module are for system use only, not for the casual user.
CamlinternalMod Run-time support for recursive modules. All functions in this module are for system use only, not for the casual user.

threads

Documentation:

Thread Lightweight threads.
Mutex Locks for mutual exclusion.
Condition Condition variables to synchronize between threads.
Event First-class synchronous communication.
ThreadUnix Thread-compatible system calls.

unix

Documentation:

Unix Interface to the Unix system.
UnixLabels Interface to the Unix system. To use as replacement to default Unix module, add module Unix = UnixLabels in your implementation.

threads

Documentation:

Thread Lightweight threads.
Mutex Locks for mutual exclusion.
Condition Condition variables to synchronize between threads.
Event First-class synchronous communication.
ThreadUnix Thread-compatible system calls.

odoc_info

Documentation:

ocamlbytecomp

Documentation:

ocamlcommon

Documentation:

Config
Misc
Identifiable Uniform interface for common data structures over various things.
Numbers Modules about numbers, some of which satisfy Identifiable.S.
Arg_helper Decipher command line arguments of the form <value> | <key>=<value>,... (as used for example for the specification of inlining parameters varying by simplification round).
Clflags Command line flags
Tbl
Profile Compiler performance recording
Terminfo
Ccomp
Warnings
Consistbl
Strongly_connected_components Kosaraju's algorithm for strongly connected components.
Build_path_prefix_map
Targetint Target processor-native integers.
Location Source code locations (ranges of positions), used in parsetree.
Longident Long identifiers, used in parsetree.
Docstrings Documentation comments
Syntaxerr Auxiliary type for reporting syntax errors
Ast_helper Helpers to produce Parsetree fragments
Parser
Lexer
Parse Entry points in the parser
Printast
Pprintast
Ast_mapper The interface of a -ppx rewriter
Ast_iterator iterator allows to implement AST inspection using open recursion. A typical mapper would be based on default_iterator, a trivial iterator, and will fall back on it for handling the syntax it does not modify.
Attr_helper Helpers for attributes
Builtin_attributes
Ast_invariants Check AST invariants
Depend Module dependencies.
Ident
Path
Primitive
Types
Btype
Oprint
Subst
Predef
Datarepr
Cmi_format
Env
Typedtree Abstract syntax tree after typing
Printtyped
Ctype
Printtyp
Includeclass
Mtype
Envaux
Includecore
TypedtreeIter
TypedtreeMap
Tast_mapper
Cmt_format cmt and cmti files format.
Untypeast
Includemod
Typetexp
Printpat
Parmatch Detection of partial matches and unused match cases.
Stypes
Typedecl
Typeopt
Typecore
Typeclass
Typemod Type-checking of the module language and typed ast plugin hooks
Lambda
Printlambda
Semantics_of_primitives Description of the semantics of primitives, to be used for optimization purposes.
Switch
Matching
Translobj
Translattribute
Translprim
Translcore
Translclass
Translmod
Simplif Lambda simplification and lambda plugin hooks
Runtimedef
Meta
Opcodes
Bytesections Recording sections written to a bytecode executable file
Dll
Symtable
Pparse Driver for the parser, external preprocessors and ast plugin hooks
Main_args
Compenv
Compmisc
Compdynlink Dynamic loading of object files.
Compplugin
Makedepend

ocamloptcomp

Documentation:

Debuginfo
Tag Tags on runtime boxed values.
Linkage_name
Compilation_unit
Internal_variable_names
Variable Variable.t is the equivalent of a non-persistent Ident.t in the Flambda tree. It wraps an Ident.t together with its source compilation_unit. As such, it is unique within a whole program, not just one compilation unit.
Mutable_variable
Id_types
Set_of_closures_id An identifier, unique across the whole program, that identifies a set of closures (viz. Set_of_closures).
Set_of_closures_origin
Closure_element
Closure_id CR-someday lwhite: "Closure_id" is quite a generic name. I wonder whether something like "Closure_label" would better capture that it is the label of a projection.
Closure_origin
Var_within_closure An identifier, unique across the whole program, that identifies a particular variable within a particular closure. Only Project_var, and not Var, nodes are tagged with these identifiers.
Static_exception An identifier that is used to label static exceptions. Its uniqueness properties are unspecified.
Export_id
Symbol A symbol identifies a constant provided by either:
Pass_wrapper
Allocated_const Constants that are always allocated (possibly statically). Blocks are not included here since they are always encoded using Prim (Pmakeblock, ...).
Parameter Parameter.t carries a unique Variable.t used as function parameter. It can also carry annotations about the usage of the variable.
Projection Representation of projections from closures and blocks.
Flambda Intermediate language used for tree-based analysis and optimization.
Flambda_iterators
Flambda_utils Utility functions for the Flambda intermediate language.
Inlining_cost Measurement of the cost (including cost in space) of Flambda terms in the context of inlining.
Effect_analysis Simple side effect analysis.
Freshening Freshening of various identifiers.
Simple_value_approx Simple approximations to the runtime results of computations. This pass is designed for speed rather than accuracy; the performance is important since it is used heavily during inlining.
Lift_code
Closure_conversion_aux Environments and auxiliary structures used during closure conversion.
Closure_conversion
Initialize_symbol_to_let_symbol
Lift_let_to_initialize_symbol
Find_recursive_functions "Recursive functions" are those functions f that might call either:
Invariant_params
Inconstant_idents
Alias_analysis
Lift_constants The aim of this pass is to assign symbols to values known to be constant (in other words, whose values we know at compile time), with appropriate sharing of constants, and replace the occurrences of the constants with their corresponding symbols.
Share_constants Share lifted constants that are eligible for sharing (e.g. not strings) and have equal definitions.
Simplify_common const_*_expr expr v annot, where the expression expr is known to evaluate to the value v, attempt to produce a more simple expression together with its approximation and the benefit gained by replacing expr with this new expression. This simplification is only performed if expr is known to have no side effects. Otherwise, expr itself is returned, with an appropriate approximation but zero benefit.
Remove_unused_arguments
Remove_unused_closure_vars
Remove_unused_program_constructs
Simplify_boxed_integer_ops
Simplify_primitives
Inlining_stats_types
Inlining_stats
Inline_and_simplify_aux Environments and result structures used during inlining and simplification. (See inline_and_simplify.ml.)
Remove_free_vars_equal_to_args Replace free variables in closures known to be equal to specialised arguments of such closures with those specialised arguments.
Extract_projections Identify projections from variables used in function bodies (free variables or specialised args, for example, according to which_variables below). Projections from variables that are also used boxed are not returned.
Augment_specialised_args Helper module for adding specialised arguments to sets of closures.
Unbox_free_vars_of_closures When approximations of free variables of closures indicate that they are closures or blocks, rewrite projections from such blocks to new variables (which become free in the closures), with the defining expressions of the projections lifted out of the corresponding sets of closures.
Unbox_specialised_args When approximations of specialised arguments indicate that they are closures or blocks, add more specialised arguments corresponding to the projections from such blocks (with definitions of such projections lifted out), such that the original specialised arguments may later be eliminated.
Unbox_closures Turn free variables of closures into specialised arguments. The aim is to cause the closure to become closed.
Inlining_transforms Source code transformations used during inlining.
Inlining_decision See the Flambda manual chapter for an explanation in prose of the inlining decision procedure.
Inline_and_simplify
Ref_to_variables Transform let-bound references into variables.
Flambda_invariants
Middle_end
X86_proc Definitions shared between the 32 and 64 bit Intel backends.
X86_dsl Helpers for Intel code generators
X86_gas Emit assembly instructions for gas.
X86_masm Emit assembly instructions for MASM (Intel syntax).
Arch
Cmm
Printcmm
Reg
Reg_with_debug_info
Reg_availability_set
Mach
Proc
Clambda
Printclambda
Export_info Exported information (that is to say, information written into a .cmx file) about a compilation unit.
Export_info_for_pack Transformations on export information that are only used for the building of packs.
Compilenv
Closure
Traverse_for_exported_symbols
Build_export_info Construct export information, for emission into .cmx files, from an Flambda program.
Closure_offsets Assign numerical offsets, within closure blocks, for code pointers and environment entries.
Flambda_to_clambda
Import_approx Create simple value approximations from the export information in .cmx files.
Un_anf
Afl_instrument
Strmatch
Cmmgen
Interval
Printmach
Selectgen
Spacetime_profiling Insertion of instrumentation code for Spacetime profiling.
Selection
Comballoc
CSEgen
CSE
Liveness
Spill
Split
Interf
Coloring
Linscan
Reloadgen
Reload
Deadcode
Printlinear
Linearize
Available_regs
Schedgen
Scheduling
Branch_relaxation_intf
Branch_relaxation
Emitaux
Emit
Asmgen
Asmlink
Asmlibrarian
Asmpackager
Opterrors
Optcompile

ocamltoplevel

Documentation:

bigarray

Documentation:

Bigarray Large, multi-dimensional, numerical arrays.

dynlink

Documentation:

Dynlinkaux
Dynlink Dynamic loading of object files.

graphics

Documentation:

Graphics Machine-independent graphics primitives.
GraphicsX11 Additional graphics primitives for the X Windows system.

raw_spacetime_lib

Documentation:

Raw_spacetime_lib Access to the information recorded by the Spacetime module. (It is intended that this module will be used by post-processors rather than users wishing to understand their programs.) For 64-bit targets only. This module may be used from any program, not just one compiled with a compiler configured for Spacetime.

stdlib

Documentation:

CamlinternalFormatBasics
Stdlib The OCaml Standard library.
CamlinternalLazy Run-time support for lazy values. All functions in this module are for system use only, not for the casual user.
CamlinternalFormat
CamlinternalOO Run-time support for objects and classes. All functions in this module are for system use only, not for the casual user.
CamlinternalMod Run-time support for recursive modules. All functions in this module are for system use only, not for the casual user.

stdlib

Documentation:

str

Documentation:

Str Regular expressions and high-level string processing

unix

Documentation:

Unix Interface to the Unix system.
UnixLabels Interface to the Unix system. To use as replacement to default Unix module, add module Unix = UnixLabels in your implementation.