Skip to content

Commit

Permalink
Cleanup
Browse files Browse the repository at this point in the history
Co-authored-by: Paul-Elliot <[email protected]>
  • Loading branch information
gpetiot and panglesd committed Aug 31, 2023
1 parent 080ccff commit ffaf22a
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 10 deletions.
5 changes: 2 additions & 3 deletions src/model/paths_types.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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_ =
Expand Down Expand Up @@ -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_ =
Expand Down
5 changes: 0 additions & 5 deletions src/xref2/env.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down
2 changes: 0 additions & 2 deletions src/xref2/env.mli
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit ffaf22a

Please sign in to comment.