package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Compiler passes

Each pass takes only its cli options, then calls upon its dependent passes (forwarding their options as needed)

val dcalc : Catala_utils.Global.options -> includes:Catala_utils.Global.raw_file list -> optimize:bool -> check_invariants:bool -> typed:'m Shared_ast.mark -> 'm Dcalc.Ast.program * Scopelang.Dependency.TVertex.t list
val lcalc : Catala_utils.Global.options -> includes:Catala_utils.Global.raw_file list -> optimize:bool -> check_invariants:bool -> typed:'m Shared_ast.mark -> avoid_exceptions:bool -> closure_conversion:bool -> monomorphize_types:bool -> Shared_ast.typed Lcalc.Ast.program * Scopelang.Dependency.TVertex.t list
val scalc : Catala_utils.Global.options -> includes:Catala_utils.Global.raw_file list -> optimize:bool -> check_invariants:bool -> avoid_exceptions:bool -> closure_conversion:bool -> keep_special_ops:bool -> dead_value_assignment:bool -> no_struct_literals:bool -> monomorphize_types:bool -> Scalc.Ast.program * Scopelang.Dependency.TVertex.t list
OCaml

Innovation. Community. Security.