package genspio

You can search for identifiers within the package.

in-package search v0.2.0

package genspio

genspio
- Genspio
  - Common
    
    Unique_name
  - Compile
    
    To_posix
    
    To_slow_flow
    
    Script
  - EDSL
    
    Bool
    
    Command_line
    
    Arg
    
    Dispatcher_script
    
    Elist
    
    Integer
    
    Magic
    
    Script_with_describe
    
    P
    
    Str
  - EDSL_v0
    
    Bool
    
    Byte_array
    
    C_string
    
    Command_line
    
    Arg
    
    Elist
    
    Integer
    
    Magic
  - Language
    
    Construct
    
    Base
    
    Bool
    
    Byte_array
    
    C_string
    
    Elist
    
    Integer
    
    Magic
    
    Literal
    
    Str
  - Meta
  - Standard_compiler
  - To_slow_flow
    
    Script
    
    Tmp_db
  - Transform
    
    Constant_propagation
    
    Visitor
    
    nothing_doer

Legend:
Library
Module
Module type
Parameter
Class
Class type

A basic implementation of constant propagation.

val process : ?trace:Format.formatter -> 'a Language.t -> 'a Language.t

Simplify an 'a EDSL.t expression by propagating some of the constant values.

val test : unit -> unit

Some tests specific to the module, see option "--run-constant-propagation-tests" of the main tests.