Original bug ID: 5645
Reporter: ysulsky
Assigned to: @zoggy
Status: closed (set by @zoggy on 2012-06-21T05:48:59Z)
Resolution: fixed
Priority: normal
Severity: minor
Category: ocamldoc

Bug description

Hi, it looks like ocamldoc doesn't handle module type or module substitutions in signatures.

Steps to reproduce

$ cat > z.mli
module M : sig type t end with type t := int

$ ocamldoc z.mli
The type t could not be found in the signature of module Z.M.
1 error(s) encountered

Additional information

I think the issue is that the substituted types are erased from the typed tree, but are still present in the parse tree. The attached patch removes them from the parse tree as well.

File attachments

• ocamldoc.type_subst.2.patch
• ocamldoc_type_subst.patch