package catala
Compiler and library for the literate programming language for tax code specification
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
md5=42196e9a9c5e12839b38cb3da935f10c
sha512=ede2d8c17dcb936c1c8c596f1453bf89370a2f824a190efe74e438d7d7f7f83875c1ecbc18219c6a8a3e98b3ab4da1c3a6cc4e534687dbc90f3dca8230f43f7b
doc/catala.driver/Driver/Passes/index.html
Module Driver.PassesSource
Compiler passes
Each pass takes only its cli options, then calls upon its dependent passes (forwarding their options as needed)
Source
val desugared :
?allow_external:bool ->
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
stdlib:Catala_utils.Global.raw_file option ->
Desugared.Ast.program * Desugared.Name_resolution.contextSource
val scopelang :
?allow_external:bool ->
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
stdlib:Catala_utils.Global.raw_file option ->
Shared_ast.untyped Scopelang.Ast.programSource
val dcalc :
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
stdlib:Catala_utils.Global.raw_file option ->
optimize:bool ->
check_invariants:bool ->
autotest:bool ->
typed:'m Shared_ast.mark ->
'm Dcalc.Ast.program * Shared_ast.TypeIdent.t listSource
val lcalc :
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
stdlib:Catala_utils.Global.raw_file option ->
optimize:bool ->
check_invariants:bool ->
autotest:bool ->
typed:'m Shared_ast.mark ->
closure_conversion:bool ->
keep_special_ops:bool ->
monomorphize_types:bool ->
expand_ops:bool ->
renaming:Shared_ast.Renaming.t option ->
Shared_ast.typed Lcalc.Ast.program
* Shared_ast.TypeIdent.t list
* Shared_ast.Renaming.context optionSource
val scalc :
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
stdlib:Catala_utils.Global.raw_file option ->
optimize:bool ->
check_invariants:bool ->
autotest:bool ->
closure_conversion:bool ->
keep_special_ops:bool ->
dead_value_assignment:bool ->
no_struct_literals:bool ->
keep_module_names:bool ->
monomorphize_types:bool ->
expand_ops:bool ->
renaming:Shared_ast.Renaming.t option ->
Scalc.Ast.program * Shared_ast.TypeIdent.t list * Shared_ast.Renaming.context