From 1f08930b3febf81874d922da8e0b2d4e954a4f18 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Fri, 6 Dec 2024 15:51:49 +0100 Subject: [PATCH] Add pins of dune-project to Dyn representation Signed-off-by: Marek Kubica --- src/dune_rules/dune_project.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/dune_rules/dune_project.ml b/src/dune_rules/dune_project.ml index 61b76fba601..2cce677d91d 100644 --- a/src/dune_rules/dune_project.ml +++ b/src/dune_rules/dune_project.ml @@ -103,7 +103,7 @@ let to_dyn ; subst_config ; strict_package_deps ; allow_approximate_merlin - ; pins = _ + ; pins ; cram ; expand_aliases_in_sandbox ; opam_file_location @@ -135,6 +135,7 @@ let to_dyn ; "format_config", option Format_config.to_dyn format_config ; "subst_config", option Toggle.to_dyn (Option.map ~f:snd subst_config) ; "strict_package_deps", bool strict_package_deps + ; "pins", Dune_pkg.Pin_stanza.DB.to_dyn pins ; "cram", bool cram ; "allow_approximate_merlin", opaque allow_approximate_merlin ; "expand_aliases_in_sandbox", bool expand_aliases_in_sandbox