Search: compatibility with new extension decl id

Signed-off-by: Paul-Elliot <[email protected]>
ocaml · Oct 27, 2023 · de4d6d8 · de4d6d8
1 parent a83b975
commit de4d6d8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/src/model/paths.ml b/src/model/paths.ml
@@ -78,6 +78,7 @@ module Identifier = struct
     | `Constructor (parent, _) -> is_internal (parent :> t)
     | `Field (parent, _) -> is_internal (parent :> t)
     | `Extension (parent, _) -> is_internal (parent :> t)
+    | `ExtensionDecl (parent, _, _) -> is_internal (parent :> t)
     | `Exception (parent, _) -> is_internal (parent :> t)
     | `CoreException _ -> false
     | `Value (_, name) -> ValueName.is_internal name
@@ -114,6 +115,8 @@ module Identifier = struct
         FieldName.to_string name :: full_name_aux (parent :> t)
     | `Extension (parent, name) ->
         ExtensionName.to_string name :: full_name_aux (parent :> t)
+    | `ExtensionDecl (parent, _, name) ->
+        ExtensionName.to_string name :: full_name_aux (parent :> t)
     | `Exception (parent, name) ->
         ExceptionName.to_string name :: full_name_aux (parent :> t)
     | `CoreException name -> [ ExceptionName.to_string name ]

diff --git a/src/search/json_index/json_search.ml b/src/search/json_index/json_search.ml
@@ -56,6 +56,8 @@ let rec of_id x =
       ret "Field" (FieldName.to_string name) :: of_id (parent :> t)
   | `Extension (parent, name) ->
       ret "Extension" (ExtensionName.to_string name) :: of_id (parent :> t)
+  | `ExtensionDecl (parent, _, name) ->
+      ret "ExtensionDecl" (ExtensionName.to_string name) :: of_id (parent :> t)
   | `Exception (parent, name) ->
       ret "Exception" (ExceptionName.to_string name) :: of_id (parent :> t)
   | `CoreException name ->