From ffaf22a33ae40998112a876021c5cda444afe743 Mon Sep 17 00:00:00 2001 From: Guillaume Petiot Date: Thu, 31 Aug 2023 10:02:32 +0100 Subject: [PATCH] Cleanup Co-authored-by: Paul-Elliot --- src/model/paths_types.ml | 5 ++--- src/xref2/env.ml | 5 ----- src/xref2/env.mli | 2 -- 3 files changed, 2 insertions(+), 10 deletions(-) diff --git a/src/model/paths_types.ml b/src/model/paths_types.ml index b5c1427c80..cd1f4b61b0 100644 --- a/src/model/paths_types.ml +++ b/src/model/paths_types.ml @@ -644,8 +644,7 @@ module rec Reference : sig [ `Resolved of Resolved_reference.extension_decl | `Root of string * [ `TExtension | `TException | `TUnknown ] | `Dot of label_parent * string - | `ExtensionDecl of signature * ExtensionName.t - | `Exception of signature * ExceptionName.t ] + | `ExtensionDecl of signature * ExtensionName.t ] (** @canonical Odoc_model.Paths.Reference.ExtensionDecl.t *) type exception_ = @@ -822,7 +821,7 @@ and Resolved_reference : sig [ `Identifier of Identifier.extension_decl | `ExtensionDecl of signature * ExtensionName.t (* url *) * ExtensionName.t (* displayed *) - | `Exception of signature * ExceptionName.t ] + ] (** @canonical Odoc_model.Paths.Reference.Resolved.Extension.t *) type exception_ = diff --git a/src/xref2/env.ml b/src/xref2/env.ml index 0690182e8b..80e90cea98 100644 --- a/src/xref2/env.ml +++ b/src/xref2/env.ml @@ -588,11 +588,6 @@ let s_extension : Component.Element.extension scope = | #Component.Element.extension as r -> Some r | _ -> None) -let s_extension_decl : Component.Element.extension_decl scope = - make_scope (function - | #Component.Element.extension_decl as r -> Some r - | _ -> None) - let s_field : Component.Element.field scope = make_scope (function #Component.Element.field as r -> Some r | _ -> None) diff --git a/src/xref2/env.mli b/src/xref2/env.mli index aeb1de9518..f421f3f483 100644 --- a/src/xref2/env.mli +++ b/src/xref2/env.mli @@ -147,8 +147,6 @@ val s_exception : Component.Element.exception_ scope val s_extension : Component.Element.extension scope -val s_extension_decl : Component.Element.extension_decl scope - val s_field : Component.Element.field scope val s_label_parent : Component.Element.label_parent scope