package ocaml-solo5
OCaml cross-compiler to the freestanding Solo5 backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v1.3.3.tar.gz
md5=47876167068345542f49279e8fd28896
sha512=272081ec51a6ed69c08e4e8fa64fee3df53fd84c66c0c07a653891c88b342cf74553e1c95711e4fbc18922c899a3448a649f3bd9858f8d89cae834ad2b67fffb
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.