jon.recoil.org

Module Rec_info_expr0.Make

Parameters

Signature

type variable = Variable.t
module Unrolling_state : sig ... end
type t = private
  1. | Const of {
    1. depth : int Flambda2_numbers.Or_infinity.t;
    2. unrolling : Unrolling_state.t;
    }
  2. | Var of variable
    (*

    A variable of kind Flambda_kind.rec_info.

    *)
  3. | Succ of t
    (*

    The next depth. If we inline an occurrence with depth d, then in the inlined body, recursive references will have depth succ d.

    *)
  4. | Unroll_to of int * t
    (*

    Indicate the depth to which unrolling should proceed. The unroll depth is decremented by Succ until it reaches zero, at which point all unrolling should stop.

    *)

An expression for the state of recursive inlining at a given occurrence. Forms the right-hand side of a Let_expr binding for a depth variable.

val initial : t
val unknown : t
val do_not_inline : t
val const : depth:int Flambda2_numbers.Or_infinity.t -> unrolling:Unrolling_state.t -> t
val var : variable -> t
val succ : t -> t
val unroll_to : int -> t -> t
val is_obviously_initial : t -> bool
val print : Stdlib.Format.formatter -> t -> unit
val equal : t -> t -> bool
val hash : t -> int
val map_depth_variables : t -> f:(variable -> variable) -> t
val erase_variables : t -> t