package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.10.0.tar.gz
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b
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 :
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
Desugared.Ast.program * Desugared.Name_resolution.contextSource
val scopelang :
Catala_utils.Global.options ->
includes:Catala_utils.Global.raw_file list ->
Shared_ast.untyped Scopelang.Ast.programSource
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 listSource
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 listSource
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