package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.0.tar.gz
md5=41b0317af37925b16ae7aedfddbcc8b4
sha512=f02c4e4c7d8ca92c4c2100d1dfc31c56218a8fae3760135335c9cdd10d9edbeb6eb5e407b430c095f579ce2226c3fe4c314788af5aa35c37d04e4dee5f459cb8
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 = Ast.RuleName.t and type E.label = Edge.tSource
val build_exceptions_graph :
Ast.rule Ast.RuleMap.t ->
Ast.ScopeDef.t ->
ExceptionsDependencies.t