package ocaml-solo5-cross-aarch64
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v1.2.2.tar.gz
sha512=7a6a0e2c1c9b2b64b87eb558e36365a0d142933d406efe125bb52ba29d2d570980aec98328e93527548ef16a3e9d4142380b86d1391fed0419cd446a1b101ac1
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.tDetermine 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.