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

md5=5abd76e8c51a47670645e91b21b57fc5

sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b

Graph representation of the dependencies between scopes in the Catala program. Vertices are functions, x -> y if x is used in the definition of y.

Sourcetype vertex =

module SDependencies : 
  Graph.Sig.P with type V.t = vertex and type E.label = Catala_utils.Pos.t

On the edges, the label is the expression responsible for the use of the function

Sourceval build_program_dep_graph : 'm Ast.program -> SDependencies.t

Sourceval check_for_cycle_in_defs : SDependencies.t -> unit

Sourceval get_defs_ordering : SDependencies.t -> vertex list

Sourcemodule TVertex : sig ... end

Sourcemodule TVertexSet : Set.S with type elt = TVertex.t

module TDependencies : 
  Graph.Sig.P with type V.t = TVertex.t and type E.label = Catala_utils.Pos.t

On the edges, the label is the expression responsible for the use of the function

Sourceval get_structs_or_enums_in_type : Shared_ast.typ -> TVertexSet.t

val build_type_graph : 
  Shared_ast.struct_ctx ->
  Shared_ast.enum_ctx ->
  TDependencies.t

val check_type_cycles : 
  Shared_ast.struct_ctx ->
  Shared_ast.enum_ctx ->
  TVertex.t list

On This Page