search

ocaml-doc / doc-ock

(DEPRECATED) Documentation generation for OCaml
ISC License
15 stars 4 forks source link

Types unresolved in abstract module types substituted with concrete children of modules #30

Open dsheets opened 9 years ago

dsheets commented 9 years ago 
module With3 : With1 with module M = With2

type with1 = With3.N.t

The t is Dot (Resolved .., "t").

lpw25 commented 9 years ago

This one is a known limitation of the current algorithm. I'm not going to fix it in the short-term because it needs quite a bit of work.