search

ocaml-doc / doc-ock-xml

(DEPRECATED) XML printer and parser for Doc-Ock
ISC License
6 stars 2 forks source link

Include source digest in XML output #4

Closed dsheets closed 9 years ago

lpw25 commented 9 years ago

The digest of the .cmi file is already present as the field digest of the Unit.t type, or do you mean something else?

dsheets commented 9 years ago

I thought the cmi/cmti format also includes some metadata on the source file from which it is generated? I'd be interested in source path and source digest (esp. if recomputable from a source file using compiler-libs).

lpw25 commented 9 years ago

I thought the cmi/cmti format also includes some metadata on the source file from which it is generated?

So it does (in cmti, not cmi). I hadn't noticed those. It has source file, build dir, and source digest, which all seem worth including.

lpw25 commented 9 years ago

I've added an optional source field to unit containing file, build_dir and digest fields.

dsheets commented 9 years ago

This is missing from doc-ock-lib so the new doc-ock-xml doesn't build. Forgot push?

lpw25 commented 9 years ago

Forgot push?

Yes, I had only pushed it to my personal server. Fixed now.