Lazy.force loop (Undefined) during resolution of sexplib.112.06.00/lib/type_with_layout.mli

ocaml-doc / doc-ock

(DEPRECATED) Documentation generation for OCaml

ISC License

15 stars 4 forks source link

Lazy.force loop (Undefined) during resolution of sexplib.112.06.00/lib/type_with_layout.mli #36

Closed dsheets closed 9 years ago

dsheets commented 9 years ago

This has something to do with resolving type names in signature arguments from signatures in functor bodies.

dsheets commented 9 years ago

This is the most critical of the currently outstanding issues.

Drup commented 9 years ago

Also in ocsigenserver:

/home/gabriel/.opam/4.02.1+doc/build/ocsigenserver.2.5/src/server/ocsigen_extensions.cmti
codoc: internal error, uncaught exception:
       CamlinternalLazy.Undefined
'codoc doc --scheme file --package ocsigenserver.2.5 /home/gabriel/.opam/4.02.1+doc/build/ocsigenserver.2.5 -o foobar' exited with code 1

lpw25 commented 9 years ago

This was caused by include statements including a module defined in the same signature. I have commited a fix that short-curcuits lookups of local modules, so that local modules can be looked up before their surrounding signature has been fully defined.