Commits

camlspotter  committed 40569e4 Merge
  • Participants
  • Parent commits c7ec4f4, 94e6c27
  • 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