let journalized_get =
let get fnames cast_intro =
Result.memo
(fun _ ->
!Value.compute ();
let fresh_project =
FC_file.create_project_from_visitor
"propagated"
(fun prj -> new propagate prj fnames cast_intro)
in
let ctx = Parameters.get_selection_context () in
Project.copy ~selection:ctx fresh_project;
fresh_project)
(fnames, cast_intro)
in
Journal.register
"!Db.Constant_Propagation.get"
(Datatype.func2
Datatype.String.Set.ty
~label2:("cast_intro",None)
Datatype.bool
Project.ty)
get