package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.14.4

Install

dune-project
 Dependency

Authors

Maintainers

Sources

ocaml_4.14.4.tar.gz
sha256=71415c000ebfce604defafaa584ab5ed10ad81ff180897db4e6fea8dac6e4b0d

doc/ocamloptcomp/Find_recursive_functions/index.html

Module Find_recursive_functions

"Recursive functions" are those functions f that might call either:

  • themselves, or
  • another function that in turn might call f.

For example in the following simultaneous definition of f g and h, f and g are recursive functions, but not h: let rec f x = g x and g x = f x and h x = g x

val in_function_declarations : Flambda.function_declarations -> backend:(module Backend_intf.S) -> Variable.Set.t

Determine the recursive functions, if any, bound by the given set of function declarations. This is only intended to be used by Flambda.create_function_declarations.