package ocaml-base-compiler

  1. Overview
  2. Docs
package ocaml-base-compiler
Legend:
Library
Module
Module type
Parameter
Class
Class type
type result =
  1. | Resolved of Shape.Uid.t
    (*

    Shape reduction succeeded and a uid was found

    *)
  2. | Resolved_alias of Shape.Uid.t * result
    (*

    Reduction led to an alias

    *)
  3. | Unresolved of Shape.t
    (*

    Result still contains Comp_unit terms

    *)
  4. | Approximated of Shape.Uid.t option
    (*

    Reduction failed: it can arrive with first-class modules for example

    *)
  5. | Internal_error_missing_uid
    (*

    Reduction succeeded but no uid was found, this should never happen

    *)

The result of reducing a shape and looking for its uid

val print_result : Format.formatter -> result -> unit
module Make (_ : sig ... end) : sig ... end

The Make functor is used to generate a reduction function for shapes.

val local_reduce : Env.t -> Shape.t -> Shape.t

local_reduce will not reduce shapes that require loading external compilation units.

val local_reduce_for_uid : Env.t -> Shape.t -> result

local_reduce_for_uid will not reduce shapes that require loading external compilation units.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct