From 06190648d38e38ee02d5fcb7e9185c2d14b00d9c Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 10 Aug 2018 00:05:29 +0300 Subject: [PATCH] Simplify lib.ml with punning Signed-off-by: Rudi Grinberg --- src/lib.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/lib.ml b/src/lib.ml index fd08f678..d59f8ef4 100644 --- a/src/lib.ml +++ b/src/lib.ml @@ -637,13 +637,13 @@ let rec instantiate db name (info : Info.t) ~stack ~hidden = let resolve (loc, name) = resolve_dep db name ~allow_private_deps ~loc ~stack in let t = - { info = info - ; name = name + { info + ; name ; unique_id = id.unique_id - ; requires = requires - ; ppx_runtime_deps = ppx_runtime_deps - ; pps = pps - ; resolved_selects = resolved_selects + ; requires + ; ppx_runtime_deps + ; pps + ; resolved_selects ; user_written_deps = Info.user_written_deps info ; sub_systems = Sub_system_name.Map.empty }