package js_of_ocaml-compiler

You can search for identifiers within the package.

in-package search v0.2.0

js_of_ocaml-compiler
- Js_of_ocaml_compiler
  - Annot_lexer
  - Annot_parser
  - Base64
  - Build_info
  - Build_path_prefix_map
  - Builtins
    
    File
  - Code
    
    Addr
    
    Map
    
    Set
    
    Constant
    
    DebugAddr
    
    Native_string
    
    Print
    
    Var
    
    Hashtbl
    
    ISet
    
    Map
    
    Set
    
    Tbl
    
    DataSet
  - Compiler_version
  - Config
    
    Flag
    
    Param
  - Deadcode
  - Debug
  - Dgraph
    
    ACTION
    
    DOMAIN
    
    ISet
    
    Make
    
    DOMAIN
    
    N
    
    NMap
    
    NSet
    
    Solver
    
    D
    
    Make_Imperative
    
    DOMAIN
    
    N
    
    NSet
    
    NTbl
    
    Solver
    
    D
    
    Solver
    
    A
    
    D
    
    N
    
    NSet
    
    NTbl
    
    Tbl
  - Driver
  - Duplicate
  - Effects
  - Eval
  - Findlib
  - Flow
    
    Info
  - Flow_lexer
    
    Lex_env
    
    Lex_mode
    
    Lex_result
    
    Parse_error
  - Freevars
  - Fs
  - Generate
  - Generate_closure
  - Global_constant
  - Global_deadcode
  - Global_flow
  - Inline
  - Instr
  - Javascript
    
    IdentMap
    
    IdentSet
    
    Label
    
    Num
  - Js_assign
  - Js_output
  - Js_parser
    
    Incremental
    
    MenhirInterpreter
  - Js_simpl
  - Js_token
    
    Annot
  - Js_traverse
    
    clean
    
    compact_vardecl
    
    free
    
    freevar
    
    iter
    
    iterator
    
    map
    
    mapper
    
    rename_variable
    
    share_constant
    
    simpl
    
    subst
  - Lambda_lifting
  - Lambda_lifting_simple
  - Link_js
  - Linker
    
    Fragment
  - Loc
  - Macro
  - Magic_number
  - Mlvalue
    
    Array
    
    Block
  - Ocaml_compiler
    
    Cmo_format
    
    Symtable
    
    Global
    
    GlobalMap
  - Ocaml_version
  - Parse_bytecode
    
    Debug
    
    Toc
  - Parse_info
  - Parse_js
    
    Lexer
  - Partial_cps_analysis
  - Phisimpl
  - Pretty_print
  - Primitive
  - Pseudo_fs
  - Pure_fun
  - Reserved
  - Source_map
    
    Index
    
    Mappings
    
    Offset
    
    Source_content
    
    Standard
  - Specialize
  - Specialize_js
  - Stdlib
    
    Array
    
    BitSet
    
    Bool
    
    Buffer
    
    Bytes
    
    Char
    
    Filename
    
    Float
    
    Fun
    
    Int
    
    Int32
    
    Int64
    
    IntMap
    
    IntSet
    
    Int_replace_polymorphic_compare
    
    List
    
    Nativeint
    
    Option
    
    Poly
    
    String
    
    StringMap
    
    StringSet
    
    Uchar
    
    Utf_decode
    
    Utf8_string
    
    Utf8_string_map
    
    Utf8_string_set
  - Strongly_connected_components
    
    Make
    
    Id
    
    Map
    
    Set
    
    S
    
    Id
    
    Map
    
    Set
  - Structure
  - Subst
    
    Excluding_Binders
    
    Including_Binders
    
    And_Continuations
  - Tailcall
  - Target_env
  - Targetint
  - Timer
  - Unit_info
  - Var_printer
    
    Alphabet
  - Vlq64
js_of_ocaml-compiler.dynlink
- Js_of_ocaml_compiler_dynlink
js_of_ocaml-compiler.findlib-support
- Jsoo_findlib_support
js_of_ocaml-compiler.runtime
- Jsoo_runtime
  - Effect
  - Error
  - For_compatibility_only
  - Int64
  - Js
  - Sys
    
    Config
  - Typed_array
    
    Bigstring
js_of_ocaml-compiler.runtime-files
- Js_of_ocaml_compiler_runtime_files

Legend:
Library
Module
Module type
Parameter
Class
Class type

type trampolined_calls = Code.Var.Set.t

val remove_empty_blocks : 
  live_vars:Deadcode.variable_uses ->
  Code.program ->
  Code.program

type in_cps = Code.Var.Set.t

val f : 
  flow_info:Global_flow.info ->
  live_vars:Deadcode.variable_uses ->
  Code.program ->
  Code.program * trampolined_calls * in_cps

Perform a partial CPS transform in order to translate a program that uses effect handler primitives to a program with only function calls, preserving the semantics.

In addition, if double translation is enabled, some functions are defined in two versions (direct-style and CPS) and the generated program switches to CPS versions when entering the first effect handler, and back to direct style when exiting it. In addition to this dynamic behavior, the transform performs a static analysis to detect which functions do not need to be CPS-transformed. As a consequence, some functions become pairs of functions while others remain in a single version. This functions returns the set of call sites that require trampolining, as well as the set of call sites that require the callee to be a pair with a CPS component.