Desugared_to_scope (p.catala.0.2.0.doc.catala.desugared.Desugared.Desugared_to

Sourcemodule Pos = Utils.Pos

Sourcemodule Errors = Utils.Errors

Sourcemodule Cli = Utils.Cli

Rule tree construction

Sourcetype rule_tree =

| Leaf of Ast.rule
| Node of rule_tree list * Ast.rule

val def_map_to_tree : 
  Ast.ScopeDef.t ->
  Scopelang.Ast.typ Pos.marked option ->
  Ast.rule Ast.RuleMap.t ->
  rule_tree list

Transforms a flat list of rules into a tree, taking into account the priorities declared between rules

Invariant: there are no exceptions cycles

Invariant: there are no dandling exception pointers in the rules

Source

val rule_tree_to_expr : 
  toplevel:bool ->
  Scopelang.Ast.Var.t option ->
  rule_tree ->
  Scopelang.Ast.expr Pos.marked Bindlib.box

From the rule_tree, builds an Dcalc.Ast.EDefault expression in the scope language. The ~toplevel parameter is used to know when to place the toplevel binding in the case of functions.

AST translation

Source

val translate_def : 
  Ast.ScopeDef.t ->
  Ast.rule Ast.RuleMap.t ->
  Scopelang.Ast.typ Pos.marked ->
  Scopelang.Ast.expr Pos.marked

Translates a definition inside a scope, the resulting expression should be an Dcalc.Ast.EDefault

Sourceval translate_scope : Ast.scope -> Scopelang.Ast.scope_decl

Translates a scope

API

Sourceval translate_program : Ast.program -> Scopelang.Ast.program