Dependency (p.catala.0.2.0.doc.catala.scopelang.Scopelang.Dependency)

Sourcemodule Pos = Utils.Pos

Sourcemodule Errors = Utils.Errors

Sourcemodule SVertex : sig ... end

Sourcemodule SEdge : sig ... end

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

Sourcemodule SDependencies : sig ... end

Sourcemodule STopologicalTraversal : sig ... end

Sourcemodule SSCC : sig ... end

Tarjan's stongly connected components algorithm, provided by OCamlGraph

Sourceval build_program_dep_graph : Ast.program -> SDependencies.t

Sourceval check_for_cycle_in_scope : SDependencies.t -> unit

Sourceval get_scope_ordering : SDependencies.t -> Ast.ScopeName.t list

Sourcemodule TVertex : sig ... end

Sourcemodule TVertexSet : sig ... end

Sourcemodule TEdge : sig ... end

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

Sourcemodule TDependencies : sig ... end

Sourcemodule TTopologicalTraversal : sig ... end

Sourcemodule TSCC : sig ... end

Tarjan's stongly connected components algorithm, provided by OCamlGraph

Sourceval get_structs_or_enums_in_type : Ast.typ Pos.marked -> TVertexSet.t

Sourceval build_type_graph : Ast.struct_ctx -> Ast.enum_ctx -> TDependencies.t

Sourceval check_type_cycles : Ast.struct_ctx -> Ast.enum_ctx -> unit