package ocaml-solo5-cross-aarch64

  1. Overview
  2. Docs
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.3.2.tar.gz
sha512=3785d4111ac06c1c701c02d11d522388249493786d0c351a50329bf481cae8df844615d8ca42626e98e72f4375d15622298339d3012e927a35c741ea3aec28f4

doc/compiler-libs.optcomp/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.