Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006197OCamlcompiler driverpublic2013-09-29 17:102017-03-01 16:00
Assigned Tohongboz 
PrioritynormalSeverityfeatureReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006197: Explicit support compiling *.camlast(i)
DescriptionOCamlc/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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
hongboz (developer)
2013-10-28 16:02

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?
frisch (developer)
2013-11-04 14:03

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?
hongboz (developer)
2013-11-04 15:38

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

Other tools should also be adapted, like ocamldoc, ocamldep

- Issue History
Date Modified Username Field Change
2013-09-29 17:10 hongboz New Issue
2013-10-28 16:02 hongboz Note Added: 0010535
2013-11-02 16:45 hongboz Assigned To => hongboz
2013-11-02 16:45 hongboz Status new => assigned
2013-11-04 14:03 frisch Note Added: 0010578
2013-11-04 15:38 hongboz Note Added: 0010581
2014-07-16 18:34 doligez Severity minor => feature
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-01 16:00 doligez Category -OCaml general => compiler driver

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker