Refactor: remove unused Explanation.

Author: cristianoc

analysis/src/Commands.ml

@@ -57,7 +57,7 @@ let hover ~file ~line ~col ~extra ~package =
     let locIsModule =
       match loc with
       | SharedTypes.LModule _ | TopLevelModule _ -> true
-      | TypeDefinition _ | Typed _ | Constant _ | Explanation _ -> false
+      | TypeDefinition _ | Typed _ | Constant _ -> false
     in
     let uriLocOpt = References.definitionForLoc ~package ~file loc in
     let skipZero =
@@ -97,7 +97,7 @@ let definition ~file ~line ~col ~extra ~package =
     let locIsModule =
       match loc with
       | SharedTypes.LModule _ | TopLevelModule _ -> true
-      | TypeDefinition _ | Typed _ | Constant _ | Explanation _ -> false
+      | TypeDefinition _ | Typed _ | Constant _ -> false
     in
     let uriLocOpt = References.definitionForLoc ~package ~file loc in
     match uriLocOpt with

analysis/src/Hover.ml

@@ -49,8 +49,7 @@ let showModule ~docstring ~(file : SharedTypes.file) ~name
 
 let newHover ~(file : SharedTypes.file) ~package loc =
   match loc with
-  | SharedTypes.Explanation text -> Some text
-  | TypeDefinition (name, decl, _stamp) ->
+  | SharedTypes.TypeDefinition (name, decl, _stamp) ->
     let typeDef = Shared.declToString name decl in
     Some (codeBlock typeDef)
   | LModule (Definition (stamp, _tip)) | LModule (LocalReference (stamp, _tip))

analysis/src/ProcessCmt.ml

@@ -919,17 +919,6 @@ struct
 
   let enter_structure_item item =
     match item.str_desc with
-    | Tstr_attribute
-        ( {Asttypes.txt = "ocaml.explanation"; loc},
-          PStr
-            [
-              {
-                pstr_desc =
-                  Pstr_eval
-                    ({pexp_desc = Pexp_constant (Pconst_string (doc, _))}, _);
-              };
-            ] ) ->
-      addLocation loc (Explanation doc)
     | Tstr_include {incl_mod = expr} -> handle_module_expr expr.mod_desc
     | Tstr_module {mb_expr} -> handle_module_expr mb_expr.mod_desc
     | Tstr_open {open_path; open_txt = {txt; loc}} ->

analysis/src/References.ml

@@ -308,7 +308,6 @@ let definitionForLoc ~package ~file loc =
           let loc = validateLoc declared.name.loc declared.extentLoc in
           Some (file.uri, loc))
       else None)
-  | Explanation _
   | Typed (_, NotFound)
   | LModule (NotFound | Definition (_, _))
   | TypeDefinition (_, _, _)
@@ -448,7 +447,6 @@ let forLocalStamp ~package ~file ~extra stamp tip =
 
 let allReferencesForLoc ~package ~file ~extra loc =
   match loc with
-  | Explanation _
   | Typed (_, NotFound)
   | LModule NotFound
   | TopLevelModule _ | Constant _ ->

analysis/src/SharedTypes.ml

@@ -180,7 +180,6 @@ type loc =
   | LModule of locKind
   | TopLevelModule of string
   | TypeDefinition of string * Types.type_declaration * int
-  | Explanation of string
 
 type openTracker = {
   path : Path.t;
@@ -225,7 +224,6 @@ let locToString = function
   | LModule _ -> "LModule"
   | TopLevelModule _ -> "TopLevelModule"
   | TypeDefinition _ -> "TypeDefinition"
-  | Explanation _ -> "Explanation"
 
 let locationToString ({Location.loc_start; loc_end}, loc) =
   let pos1 = Utils.cmtPosToPosition loc_start in