Translation from Surface.Ast to Desugaring.Ast.
module Pos = Utils.Posmodule Errors = Utils.Errorsmodule Cli = Utils.Clival translate_op_kind : Ast.op_kind -> Dcalc.Ast.op_kindval translate_binop : Ast.binop -> Dcalc.Ast.binopval translate_unop : Ast.unop -> Dcalc.Ast.unopThe two modules below help performing operations on map with the Bindlib.box. Indeed, Catala uses the Bindlib library to represent bound variables in the AST. In this translation, bound variables are used to represent function parameters or pattern macthing bindings.
module LiftStructFieldMap : sig ... endmodule LiftEnumConstructorMap : sig ... endval translate_expr :
Scopelang.Ast.ScopeName.t ->
Name_resolution.context ->
Ast.expression Pos.marked ->
Scopelang.Ast.expr Scopelang.Ast.Pos.marked Bindlib.boxUsage: translate_expr scope ctxt expr
Translates expr into its desugared equivalent. scope is used to disambiguate the scope and subscopes variables than occur in the expresion
val merge_conditions :
Scopelang.Ast.expr Pos.marked Bindlib.box option ->
Scopelang.Ast.expr Pos.marked Bindlib.box option ->
Pos.t ->
Scopelang.Ast.expr Pos.marked Bindlib.boxA scope use can be annotated with a pervasive precondition, in which case this precondition has to be appended to the justifications of each definition in the subscope use. This is what this function does.
val process_default :
Name_resolution.context ->
Scopelang.Ast.ScopeName.t ->
Desugared.Ast.ScopeDef.t Pos.marked ->
Scopelang.Ast.Var.t Pos.marked option ->
Scopelang.Ast.expr Pos.marked Bindlib.box option ->
Desugared.Ast.RuleName.t option ->
Ast.expression Pos.marked option ->
Ast.expression Pos.marked ->
Desugared.Ast.ruleTranslates a surface definition into condition into a desugared Desugared.Ast.rule
val process_def :
Scopelang.Ast.expr Pos.marked Bindlib.box option ->
Scopelang.Ast.ScopeName.t ->
Name_resolution.context ->
Desugared.Ast.program ->
Ast.definition ->
Desugared.Ast.programWrapper around process_default that performs some name disambiguation
val process_rule :
Scopelang.Ast.expr Pos.marked Bindlib.box option ->
Scopelang.Ast.ScopeName.t ->
Name_resolution.context ->
Desugared.Ast.program ->
Ast.rule ->
Desugared.Ast.programTranslates a Surface.Ast.rule from the surface language
val process_assert :
Scopelang.Ast.expr Pos.marked Bindlib.box option ->
Scopelang.Ast.ScopeName.t ->
Name_resolution.context ->
Desugared.Ast.program ->
Ast.assertion ->
Desugared.Ast.programTranslates assertions
val process_scope_use_item :
Ast.expression Pos.marked option ->
Scopelang.Ast.ScopeName.t ->
Name_resolution.context ->
Desugared.Ast.program ->
Ast.scope_use_item Pos.marked ->
Desugared.Ast.programTranslates a surface definition, rule or assertion
val process_scope_use :
Name_resolution.context ->
Desugared.Ast.program ->
Ast.scope_use ->
Desugared.Ast.programTranslates a surface scope use, which is a bunch of definitions
val desugar_program :
Name_resolution.context ->
Ast.program ->
Desugared.Ast.programMain function of this module