Compatibility with ocaml/odoc#1081

"Overhaul of module-type-of and shadowing"

Author: panglesd

index/typename.ml

@@ -19,7 +19,7 @@ and show_signature h sig_ =
   | `ModuleType (_, p) ->
     Format.fprintf h "%s" (Odoc_model.Names.ModuleTypeName.to_string p)
 
-let show_type_name_verbose h : Path.Type.t -> _ = function
+let rec show_type_name_verbose h : Path.Type.t -> _ = function
   | `Resolved t ->
     Format.fprintf h "%a" show_ident_long Path.Resolved.(identifier (t :> t))
   | `Identifier (path, _hidden) ->
@@ -31,5 +31,6 @@ let show_type_name_verbose h : Path.Type.t -> _ = function
       "%s.%s"
       (Odoc_document.Url.render_path (mdl :> Path.t))
       (Odoc_model.Names.TypeName.to_string x)
+  | `SubstitutedT x -> show_type_name_verbose h x
 
 let to_string t = Format.asprintf "%a" show_type_name_verbose t