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

Explicit support compiling *.camlast(i) #6197

Closed
vicuna opened this issue Sep 29, 2013 · 4 comments
Closed

Explicit support compiling *.camlast(i) #6197

vicuna opened this issue Sep 29, 2013 · 4 comments

Comments

@vicuna
Copy link

vicuna commented Sep 29, 2013

Original bug ID: 6197
Reporter: @bobzhang
Assigned to: @bobzhang
Status: assigned (set by @bobzhang on 2013-11-02T15:45:11Z)
Resolution: open
Priority: normal
Severity: feature
Category: compiler driver
Monitored by: @gasche @hcarty

Bug description

OCamlc/opt and OCamldep/ocamldoc already support compiling the marshalized ast now, but with the same extension(.ml).

Explicit support compiling *.camlast(i) would help accelerate compilation.

  1. Avoid unnecessary preprocessing.
    Currently ocamldep, ocamldoc or ocamlc all require preprocessing which is duplicated
  2. Avoid unnecessray recompilation
    There is a large chance that the changed preprocessor would not change the preprocessed output,For a modern build system based on md5, this could avoid unnecessary typechecking which is expensive.
  3. Encourage parallel compilation

If we support this, the pp flag or ppx flag could be deprecated in the future.

@vicuna
Copy link
Author

vicuna commented Oct 28, 2013

Comment author: @bobzhang

I would suggest the extension name, *.mlc and *.mlic.

Is there anyone against the feature request, if nobody, I would do it later.
Another question: is it okay to back-port this feature to 4.01?

@vicuna
Copy link
Author

vicuna commented Nov 4, 2013

Comment author: @alainfrisch

We can already pass a file with a different suffix to the compiler (using -impl / -intf). Do you propose to specify "natural" extensions for serialized AST files, and have the compiler understand them natively?

@vicuna
Copy link
Author

vicuna commented Nov 4, 2013

Comment author: @bobzhang

yes, natively support, to make the build system easier.

Other tools should also be adapted, like ocamldoc, ocamldep

@github-actions
Copy link

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

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

1 participant