Module Driver.PassesSource

Compiler passes

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

Sourceval dcalc : Catala_utils.Cli.options -> includes:Catala_utils.Cli.raw_file list -> optimize:bool -> check_invariants:bool -> typed:'m Shared_ast.mark -> 'm Dcalc.Ast.program * Scopelang.Dependency.TVertex.t list
Sourceval lcalc : Catala_utils.Cli.options -> includes:Catala_utils.Cli.raw_file list -> optimize:bool -> check_invariants:bool -> typed:'m Shared_ast.mark -> avoid_exceptions:bool -> closure_conversion:bool -> Shared_ast.untyped Lcalc.Ast.program * Scopelang.Dependency.TVertex.t list
Sourceval scalc : Catala_utils.Cli.options -> includes:Catala_utils.Cli.raw_file list -> optimize:bool -> check_invariants:bool -> avoid_exceptions:bool -> closure_conversion:bool -> Scalc.Ast.program * Scopelang.Dependency.TVertex.t list