package ocaml-compiler

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Official release of OCaml 5.3.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (9)

Authors

Xavier Leroy
Damien Doligez
Alain Frisch
Jacques Garrigue
Didier Rémy
K

KC Sivaramakrishnan
J

Jérôme Vouillon

Maintainers

David Allsopp
F

Florian Angeletti <florian.angeletti@inria.fr>

Sources

ocaml-5.3.0.tar.gz

sha256=22c1dd9de21bf43b62d1909041fb5fad648905227bf69550a6a6bef31e654f38

doc/compiler-libs.optcomp/Cmm_invariants/index.html

Module `Cmm_invariants`

Check a number of continuation-related invariants

val run : Format.formatter -> Cmm.fundecl -> bool

run ppf fundecl analyses the given function, and returns whether any errors were encountered (with corresponding error messages printed on the given formatter).