Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

manual: document .cmt* files in the "overview" of ocaml{c,opt} #7584

Closed
vicuna opened this issue Jul 12, 2017 · 5 comments
Closed

manual: document .cmt* files in the "overview" of ocaml{c,opt} #7584

vicuna opened this issue Jul 12, 2017 · 5 comments

Comments

@vicuna
Copy link

@vicuna vicuna commented Jul 12, 2017

Original bug ID: 7584
Reporter: @gasche
Status: acknowledged (set by @gasche on 2017-07-12T19:07:31Z)
Resolution: open
Priority: low
Severity: text
Target version: 4.07.0+dev/beta2/rc1/rc2
Category: documentation
Tags: junior_job

Bug description

The "overview of the compiler" sections of the ocamlc and ocamlopt sections of the manual give a summary of the role of various file extensions consumed or produced by the ocaml compilers

http://caml.inria.fr/pub/docs/manual-ocaml/comp.html#sec265
http://caml.inria.fr/pub/docs/manual-ocaml/native.html#sec286

Unfortunately, they were never updated to describe .cmt* files, so users that look at the build artifacts of a project may not know what those are.

@Lereena
Copy link
Contributor

@Lereena Lereena commented Mar 22, 2019

If nobody minds, i will try to work on this issue.

@Octachron
Copy link
Member

@Octachron Octachron commented Mar 22, 2019

Sure, go ahead.

@Lereena
Copy link
Contributor

@Lereena Lereena commented Mar 23, 2019

I see that in these chapters there is a lot of almost identical information about files of various formats and their processing during compilation. Should I duplicate information about .cmt/cmti in both chapters?

@damiendoligez
Copy link
Member

@damiendoligez damiendoligez commented Jul 17, 2019

ping @Octachron

@Octachron
Copy link
Member

@Octachron Octachron commented Jul 18, 2019

Except if you want to backport the manual addition to 4.08.1, the issue can be closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants