Search: compatibility with new extension decl id

Signed-off-by: Paul-Elliot <peada@free.fr>

Author: panglesd

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 ]

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 ->