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 byFlambda_to_clambda
.
val variable : Variable.t -> result -> bool
variable var res
returnstrue
ifvar
is marked as inconstant inres
.
val closure : Set_of_closures_id.t -> result -> bool
closure cl res
returnstrue
ifcl
is marked as inconstant inres
.