package catala
Compiler and library for the literate programming language for tax code specification
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0.0-beta.tar.gz
md5=c41cbc1fa003e167bbc0bb1cd7723ab3
sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999
doc/catala.desugared/Desugared/Dependency/index.html
Module Desugared.DependencySource
Scope dependencies computations using OCamlgraph
Scope variables dependency graph
Graph declaration
Vertices: scope variables or subscopes.
The vertices of the scope dependency graph are either :
- the variables of the scope ;
- the subscopes of the scope.
Indeed, during interpretation, subscopes are executed atomically.
On the edges, the label is the position of the expression responsible for the use of the variable. In the graph, x -> y if x is used in the definition of y.
Module of the graph, provided by OCamlGraph
Graph computations
Returns an ordering of the scope variables and subscope compatible with the dependencies of the computation
Returns an ordering of the scope variables and subscope compatible with the dependencies of the computation
Outputs an error in case of cycles.
Builds the dependency graph of a particular scope
Exceptions dependency graph
Source
module ExceptionsDependencies :
Graph.Sig.P
with type V.t = ExceptionVertex.t
and type E.label = EdgeExceptions.tSource
val build_exceptions_graph :
Ast.rule Shared_ast.RuleName.Map.t ->
Ast.ScopeDef.t ->
ExceptionsDependencies.tSource
val check_for_exception_cycle :
Ast.rule Shared_ast.RuleName.Map.t ->
ExceptionsDependencies.t ->
unit