search

ocaml-doc / doc-ock

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

Dep10 constraint of signature through alias of expanded functor argument unresolved #29

Closed dsheets closed 9 years ago

dsheets commented 9 years ago 
module type Dep10 = Dep9(Dep8).T with type t = int

has t of Dot(Resolved Root, "t").

lpw25 commented 9 years ago

This should now be fixed.