package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

ocaml-base-compiler
- Library bigarray
  - Bigarray
    
    Genarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
- Library dynlink
  - Dynlink
- Library graphics
  - Graphics
  - GraphicsX11
- Library ocamlbytecomp
  - Bytegen
  - Bytelibrarian
  - Bytelink
  - Bytepackager
  - Compile
  - Emitcode
  - Errors
  - Instruct
  - Printinstr
- Library ocamlcommon
  - Annot
  - Arg_helper
    
    Make
  - Ast_helper
    
    Const
    
    Typ
    
    Pat
    
    Exp
    
    Val
    
    Type
    
    Te
    
    Mty
    
    Mod
    
    Sig
    
    Str
    
    Md
    
    Mtd
    
    Mb
    
    Opn
    
    Incl
    
    Vb
    
    Cty
    
    Ctf
    
    Cl
    
    Cf
    
    Ci
    
    Csig
    
    Cstr
  - Ast_invariants
  - Ast_iterator
  - Ast_mapper
  - Asttypes
  - Attr_helper
  - Btype
    
    TypeSet
    
    TypeMap
    
    TypeHash
  - Builtin_attributes
  - Bytesections
  - Ccomp
  - Clflags
    
    Int_arg_helper
    
    Float_arg_helper
  - Cmi_format
  - Cmo_format
  - Cmt_format
  - Cmx_format
  - Compdynlink
  - Compenv
  - Compmisc
  - Compplugin
  - Config
  - Consistbl
  - Ctype
  - Datarepr
  - Depend
    
    StringSet
    
    StringMap
  - Dll
  - Docstrings
  - Env
    
    PathMap
    
    Persistent_signature
  - Envaux
  - Expunge
    
    StringSet
  - Ident
    
    T
    
    Set
    
    Map
    
    Tbl
  - Identifiable
    
    Thing
    
    Pair
    
    Set
    
    T
    
    Map
    
    T
    
    Tbl
    
    T
    
    S
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
    
    T
    
    Set
    
    Map
    
    Tbl
  - Includeclass
  - Includecore
  - Includemod
  - Lambda
    
    IdentSet
  - Lexer
  - Location
  - Longident
  - Main_args
    
    Common_options
    
    Compiler_options
    
    Toplevel_options
    
    Bytecomp_options
    
    Bytetop_options
    
    Optcommon_options
    
    Optcomp_options
    
    Opttop_options
    
    Ocamldoc_options
    
    Arg_list
    
    Make_bytecomp_options
    
    Make_bytetop_options
    
    Make_optcomp_options
    
    Make_opttop_options
    
    Make_ocamldoc_options
  - Makedepend
  - Matching
  - Meta
  - Misc
    
    Stdlib
    
    List
    
    Option
    
    Array
    
    Int_literal_converter
    
    LongString
    
    StringSet
    
    StringMap
    
    Color
    
    HookSig
    
    MakeHooks
  - Mtype
  - Numbers
    
    Int
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Int8
    
    Int16
    
    Float
    
    T
    
    Set
    
    Map
    
    Tbl
  - Opcodes
  - Oprint
  - Outcometree
  - Parmatch
    
    Compat
  - Parse
  - Parser
  - Parsetree
  - Path
  - Pparse
    
    ImplementationHooks
    
    InterfaceHooks
  - Pprintast
  - Predef
  - Primitive
  - Printast
  - Printlambda
  - Printtyp
  - Printtyped
  - Profile
  - Runtimedef
  - Semantics_of_primitives
  - Simplif
    
    Hooks
  - Strongly_connected_components
    
    S
    
    Id
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
  - Stypes
  - Subst
  - Switch
    
    Stored
    
    Store
    
    S
    
    Make
  - Symtable
  - Syntaxerr
  - Targetint
  - Tast_mapper
  - Tbl
  - Terminfo
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Typeclass
  - Typecore
  - Typedecl
  - Typedtree
  - TypedtreeIter
    
    IteratorArgument
    
    MakeIterator
    
    DefaultIteratorArgument
  - TypedtreeMap
    
    MapArgument
    
    MakeMap
    
    DefaultMapArgument
  - Typemod
    
    ImplementationHooks
    
    InterfaceHooks
  - Typeopt
  - Types
    
    TypeOps
    
    Meths
    
    Vars
    
    Variance
    
    Concr
  - Typetexp
  - Untypeast
  - Warnings
- Library ocamloptcomp
  - Afl_instrument
  - Alias_analysis
  - Allocated_const
  - Arch
  - Asmgen
  - Asmlibrarian
  - Asmlink
  - Asmpackager
  - Augment_specialised_args
    
    Definition
    
    What_to_specialise
    
    S
    
    Make
  - Backend_intf
    
    S
  - Branch_relaxation
    
    Make
  - Branch_relaxation_intf
    
    S
    
    Cond_branch
  - Build_export_info
  - CSE
    
    cse
  - CSEgen
    
    cse_generic
  - Clambda
  - Closure
  - Closure_conversion
  - Closure_conversion_aux
    
    Env
    
    Function_decls
    
    Function_decl
  - Closure_element
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_offsets
  - Cmm
  - Cmmgen
  - Coloring
  - Comballoc
  - Compilation_unit
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilenv
  - Deadcode
  - Debuginfo
  - Effect_analysis
  - Emit
  - Emitaux
  - Export_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Export_info
  - Export_info_for_pack
  - Extract_projections
  - Find_recursive_functions
  - Flambda
    
    Constant_defining_value
    
    T
    
    Set
    
    Map
    
    Tbl
    
    With_free_variables
  - Flambda_invariants
  - Flambda_iterators
  - Flambda_to_clambda
  - Flambda_utils
    
    Switch_storer
  - Freshening
    
    Project_var
  - Id_types
    
    BaseId
    
    Id
    
    UnitId
    
    Compilation_unit
    
    Id
    
    UnitId
  - Import_approx
  - Inconstant_idents
  - Initialize_symbol_to_let_symbol
  - Inline_and_simplify
  - Inline_and_simplify_aux
    
    Env
    
    Result
  - Inlining_cost
    
    Threshold
    
    Benefit
    
    Whether_sufficient_benefit
  - Inlining_decision
  - Inlining_decision_intf
  - Inlining_stats
    
    Closure_stack
  - Inlining_stats_types
    
    Inlined
    
    Not_inlined
    
    Specialised
    
    Not_specialised
    
    Prevented
    
    Decision
  - Inlining_transforms
  - Interf
  - Interval
  - Invariant_params
  - Lift_code
  - Lift_constants
  - Lift_let_to_initialize_symbol
  - Linearize
  - Linkage_name
    
    T
    
    Set
    
    Map
    
    Tbl
  - Linscan
  - Liveness
  - Mach
  - Middle_end
  - Mutable_variable
    
    T
    
    Set
    
    Map
    
    Tbl
  - Optcompile
  - Opterrors
  - Parameter
    
    T
    
    Set
    
    Map
    
    Tbl
    
    List
  - Pass_wrapper
  - Printclambda
  - Printcmm
  - Printlinear
  - Printmach
  - Proc
  - Projection
    
    T
    
    Set
    
    Map
    
    Tbl
  - Ref_to_variables
  - Reg
    
    Raw_name
    
    Set
    
    Map
  - Reload
  - Reloadgen
    
    reload_generic
  - Remove_free_vars_equal_to_args
  - Remove_unused_arguments
  - Remove_unused_closure_vars
  - Remove_unused_program_constructs
  - Schedgen
    
    scheduler_generic
  - Scheduling
  - Selectgen
    
    Effect
    
    Coeffect
    
    Effect_and_coeffect
    
    selector_generic
  - Selection
  - Set_of_closures_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Set_of_closures_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Share_constants
  - Simple_value_approx
  - Simplify_boxed_integer_ops
    
    Simplify_boxed_nativeint
    
    Simplify_boxed_int32
    
    Simplify_boxed_int64
  - Simplify_boxed_integer_ops_intf
    
    S
  - Simplify_common
  - Simplify_primitives
  - Spacetime_profiling
    
    instruction_selection
  - Spill
  - Split
  - Static_exception
    
    T
    
    Set
    
    Map
    
    Tbl
  - Strmatch
    
    I
    
    Make
  - Symbol
    
    T
    
    Set
    
    Map
    
    Tbl
  - Tag
    
    T
    
    Set
    
    Map
    
    Tbl
  - Un_anf
  - Unbox_closures
  - Unbox_free_vars_of_closures
  - Unbox_specialised_args
  - Var_within_closure
    
    T
    
    Set
    
    Map
    
    Tbl
  - Variable
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Pair
    
    T
    
    Set
    
    Map
    
    Tbl
  - X86_ast
  - X86_dsl
    
    D
    
    I
  - X86_gas
  - X86_masm
  - X86_proc
- Library ocamltoplevel
  - Genprintval
    
    OBJ
    
    EVALPATH
    
    S
    
    Make
  - Topdirs
  - Toploop
  - Topmain
  - Trace
- Library odoc_info
  - Odoc_info
    
    Name
    
    Parameter
    
    Extension
    
    Exception
    
    Type
    
    Value
    
    Class
    
    Module
    
    Search
    
    Scan
    
    scanner
    
    Dep
    
    Global
- Library stdlib
  - Arg
  - Array
  - ArrayLabels
  - Buffer
  - Bytes
  - BytesLabels
  - Callback
  - CamlinternalBigarray
  - CamlinternalFormat
  - CamlinternalFormatBasics
  - CamlinternalLazy
  - CamlinternalMod
  - CamlinternalOO
  - Char
  - Complex
  - Digest
  - Ephemeron
    
    S
    
    SeededS
    
    K1
    
    Make
    
    MakeSeeded
    
    K2
    
    Make
    
    MakeSeeded
    
    Kn
    
    Make
    
    MakeSeeded
    
    GenHashTable
    
    MakeSeeded
  - Filename
  - Format
  - Gc
  - Genlex
  - Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
  - Int32
  - Int64
  - Lazy
  - Lexing
  - List
  - ListLabels
  - Map
    
    OrderedType
    
    S
    
    Make
  - Marshal
  - MoreLabels
    
    Hashtbl
    
    HashedType
    
    SeededHashedType
    
    S
    
    SeededS
    
    Make
    
    MakeSeeded
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Set
    
    OrderedType
    
    S
    
    Make
  - Nativeint
  - Obj
    
    Ephemeron
  - Oo
  - Parsing
  - Pervasives
    
    LargeFile
  - Printexc
    
    Slot
  - Printf
  - Queue
  - Random
    
    State
  - Scanf
    
    Scanning
  - Set
    
    OrderedType
    
    S
    
    Make
  - Sort
  - Spacetime
    
    Series
    
    Snapshot
  - Stack
  - StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
  - Stream
  - String
  - StringLabels
  - Sys
  - Uchar
  - Weak
    
    S
    
    Make
- Library str
  - Str
- Library threads
  - Condition
  - Event
  - Mutex
  - Thread
  - ThreadUnix
- Library unix
  - Unix
    
    LargeFile
  - UnixLabels
    
    LargeFile
- Sources
  - stdlib
    
    arg.ml
    
    array.ml
    
    arrayLabels.ml
    
    buffer.ml
    
    bytes.ml
    
    bytesLabels.ml
    
    callback.ml
    
    camlinternalBigarray.ml
    
    camlinternalFormat.ml
    
    camlinternalFormatBasics.ml
    
    camlinternalLazy.ml
    
    camlinternalMod.ml
    
    camlinternalOO.ml
    
    char.ml
    
    complex.ml
    
    digest.ml
    
    ephemeron.ml
    
    filename.ml
    
    format.ml
    
    gc.ml
    
    genlex.ml
    
    hashtbl.ml
    
    int32.ml
    
    int64.ml
    
    lazy.ml
    
    lexing.ml
    
    list.ml
    
    listLabels.ml
    
    map.ml
    
    marshal.ml
    
    moreLabels.ml
    
    nativeint.ml
    
    obj.ml
    
    oo.ml
    
    parsing.ml
    
    pervasives.ml
    
    printexc.ml
    
    printf.ml
    
    queue.ml
    
    random.ml
    
    scanf.ml
    
    set.ml
    
    sort.ml
    
    spacetime.ml
    
    stack.ml
    
    stdLabels.ml
    
    stream.ml
    
    string.ml
    
    stringLabels.ml
    
    sys.ml
    
    uchar.ml
    
    weak.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Unbox_closures`

Turn free variables of closures into specialised arguments. The aim is to cause the closure to become closed.

val rewrite_set_of_closures : 
  env:Inline_and_simplify_aux.Env.t ->
  duplicate_function:
    (env:Inline_and_simplify_aux.Env.t ->
      set_of_closures:Flambda.set_of_closures ->
      fun_var:Variable.t ->
      Flambda.function_declaration * Flambda.specialised_to Variable.Map.t) ->
  set_of_closures:Flambda.set_of_closures ->
  (Flambda.expr * Inlining_cost.Benefit.t) option

package ocaml-base-compiler

Module Unbox_closures

Module `Unbox_closures`