search

ocaml-doc / doc-ock

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

Package constraint subs aren't resolved #27

Closed dsheets closed 9 years ago

dsheets commented 9 years ago

In

type package = (module SIMPLE with type t = int)

SIMPLE is resolved but t is only Dot(Resolved Root, "t").

lpw25 commented 9 years ago

I forgot about those. Should now be fixed.

dsheets commented 9 years ago

The still don't seem to show up. I don't think I have dirty state...

lpw25 commented 9 years ago

Hmm, it seems to be resolved for me.

module type T = sig type t end

type t = (module T with type t = int)

gives me Resolved(Type(Root, "t")).

dsheets commented 9 years ago

Through XML? Pushed everything?

lpw25 commented 9 years ago

Through XML?

Yes.

Pushed everything?

Yes.

dsheets commented 9 years ago

Grrr... something was dirty. :-( Sorry about that, I confirm it does indeed work just fine.