From 19d6a5ed9ce1106ff462a3c008a4b421e4179df8 Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Thu, 25 Feb 2021 01:50:07 +0000 Subject: [PATCH] Fix loading of cmts with Tstr_primitive Signed-off-by: Jon Ludlam --- src/model/ident_env.cppo.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/model/ident_env.cppo.ml b/src/model/ident_env.cppo.ml index 56a45f6b3e..20d3388b51 100644 --- a/src/model/ident_env.cppo.ml +++ b/src/model/ident_env.cppo.ml @@ -313,8 +313,10 @@ let extract_structure_tree_item item = | Tstr_open o -> ((extract_extended_open o) :> extracted_items list) #endif + | Tstr_primitive {val_id; _} -> + [`Value (val_id, false)] | Tstr_eval _ - | Tstr_primitive _ | Tstr_typext _ + | Tstr_typext _ | Tstr_exception _ | Tstr_attribute _ -> []