package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.11.2

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

4.11.2.tar.gz

sha256=044a2a68f6cfa3d2349257770a340ced14c3940fb4d78414dda0e59e4ff0aa09

doc/ocamloptcomp/Compute_ranges_intf/index.html

Module `Compute_ranges_intf`

This file defines types that are used to specify the interface of Compute_ranges. The description of Compute_ranges is:

"Coalescing of per-instruction information into possibly-discontiguous regions of code delimited by labels. This is used for collating register availability and lexical block scoping information into a concise form."

Compute_ranges defines a functor, whose argument has type S_functor, and whose result has type S. Both S_functor and S are defined here.

It is suggested that those unfamiliar with this module start by reading the documentation on module type S, below.

module L = Linear

module type S_subrange_state = sig ... end

The type of caller-defined contextual state associated with subranges. This may be used to track information throughout the range-computing process.

module type S_subrange_info = sig ... end

The type of caller-defined information associated with subranges.

module type S_range_info = sig ... end

The type of caller-defined information associated with ranges.

module type S_functor = sig ... end

This module type specifies what the caller has to provide in order to instantiate a module to compute ranges.

module type S = sig ... end

This module type is the result type of the Compute_ranges.Make functor.