Desugaring (p.catala.0.2.0.doc.catala.surface.Surface.Desugaring)

Sourcemodule Pos = Utils.Pos

Sourcemodule Errors = Utils.Errors

Sourcemodule Cli = Utils.Cli

Translating expressions

Sourceval translate_op_kind : Ast.op_kind -> Dcalc.Ast.op_kind

Sourceval translate_binop : Ast.binop -> Dcalc.Ast.binop

Sourceval translate_unop : Ast.unop -> Dcalc.Ast.unop

The 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 ... end

module LiftEnumConstructorMap : sig ... end

Source

val translate_expr : 
  Scopelang.Ast.ScopeName.t ->
  Name_resolution.context ->
  Ast.expression Pos.marked ->
  Scopelang.Ast.expr Scopelang.Ast.Pos.marked Bindlib.box

Usage: 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

Translating scope definitions

Source

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.box

A 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.

Source

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.rule

Translates a surface definition into condition into a desugared Desugared.Ast.rule

Source

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.program

Wrapper around process_default that performs some name disambiguation

Source

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.program

Translates a Surface.Ast.rule from the surface language

Source

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.program

Translates assertions

Source

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.program

Translates a surface definition, rule or assertion

Translating top-level items

Source

val process_scope_use : 
  Name_resolution.context ->
  Desugared.Ast.program ->
  Ast.scope_use ->
  Desugared.Ast.program

Translates a surface scope use, which is a bunch of definitions

Source

val desugar_program : 
  Name_resolution.context ->
  Ast.program ->
  Desugared.Ast.program

Main function of this module