Commits

camlspotter  committed 94e6c27

typeloc glitch: need to be backport to typeloc

  • Participants
  • Parent commits d1f70a9
  • Branches custom

Comments (0)

Files changed (1)

File typing/printtyp.ml

               | Tconstr(path, [ty], _)
                 when Path.same path Predef.path_option ->
                   tree_of_typexp sch ty
+              | Tconstr(path, [ty], _) ->
+                  (* CR jfuruse: typeloc glitch. path can be Option.t
+                     if module Option = struct type 'a t = 'a option end
+                  *)
+                  tree_of_typexp sch (repr ty1)
               | _ -> Otyp_stuff "<hidden>"
             else tree_of_typexp sch ty1 in
           Otyp_arrow (lab, t1, tree_of_typexp sch ty2) in