package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.05.0 release

Install

sha256=e5d8a6f629020c580473d8afcfcb06c3966d01929f7b734f41dc0c737cd8ea3f

md5=7e0079162134336a24b9028349c756bb

type result

val inconstants_on_program : 
  compilation_unit:Compilation_unit.t ->
  backend:(module Backend_intf.S) ->
  Flambda.program ->
  result

inconstants_on_program finds those variables and set-of-closures identifiers that cannot be compiled to constants by Flambda_to_clambda.

val variable : Variable.t -> result -> bool

variable var res returns true if var is marked as inconstant in res.

val closure : Set_of_closures_id.t -> result -> bool

closure cl res returns true if cl is marked as inconstant in res.