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=8f891209d18b6540df9c34b2d1a6a783

sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

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