package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.6.0.tar.gz

md5=b22e238d5d5c8452067109e9c7c0f427

sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0

doc/catala.dcalc/Dcalc/Binded_representation/index.html

Module `Dcalc.Binded_representation`Source

Sourcemodule D = Ast

Alternative representation of the Dcalc Ast. It is currently used in the transformation without exceptions. We make heavy use of bindlib, binding each scope-let-variable and each scope explicitly.

Sourcetype scope_lets =

| Result of D.expr Utils.Pos.marked
| ScopeLet of {
1. scope_let_kind : D.scope_let_kind;
2. scope_let_typ : D.typ Utils.Pos.marked;
3. scope_let_expr : D.expr Utils.Pos.marked;
4. scope_let_next : (D.expr, scope_lets) Bindlib.binder;
5. scope_let_pos : Utils.Pos.t;
}

In Ast, Ast.scope_lets is defined as a list of kind, var, and boxed expression. This representation binds using bindlib the tail of the list with the variable defined in the let.

Sourcetype scope_body = {

scope_body_input_struct : D.StructName.t;
scope_body_output_struct : D.StructName.t;
scope_body_result : (D.expr, scope_lets) Bindlib.binder;

}

As a consequence, the scope_body contains only a result and input/output signature, as the other elements are stored inside the scope_let. The binder present is the argument of type scope_body_input_struct.

Sourcetype scopes =

| Nil
| ScopeDef of {
1. scope_name : D.ScopeName.t;
2. scope_body : scope_body;
3. scope_next : (D.expr, scopes) Bindlib.binder;
}

Finally, we do the same transformation for the whole program for the kinded lets. This permit us to use bindlib variables for scopes names.

Sourceval free_vars_list_scope_lets : scope_lets -> D.Var.t list

List of variables not binded inside a scope_lets

Sourceval free_vars_list_scope_body : scope_body -> D.Var.t list

List of variables not binded inside a scope_body.

Sourceval free_vars_list_scopes : scopes -> D.Var.t list

List of variables not binded inside scopes

Source

val bind_scopes : 
  (D.ScopeName.t * D.expr Bindlib.var * D.scope_body) list ->
  scopes Bindlib.box

Transform a list of scopes into our representation of scopes. It requires that scopes are topologically-well-ordered, and ensure there is no free variables in the returned scopes