OCaml Forge

Detail: [#1299] option to generate interface files

Feature Requests: Browse | Download .csv | Monitor

[#1299] option to generate interface files

Date:
2013-07-27 18:53
Priority:
3
State:
Open
Submitted by:
Goswin Brederlow, von (goswin)
Assigned to:
Sylvain Le Gall (gildor-admin)
Resolution:
None
Due in version:
None
Product:
None
Component:
None
Operating System:
None
 
Summary:
option to generate interface files

Detailed description
ocamlc has the nice option -i to output all defined names (with their inferred types or their definitions) when compiling an implementation (.ml file). This can be used as template for the .mli file or simply to check the resulting types are sane.

It would be nice if oasis had an option to run ocamlc -i for a) every *.ml file or b) only *.ml files without *.mli.

A further step would be to use those file to compile .cmi files only when they changed. This would allow the cmi file to remain unchanged when the ml file changed but did not change its interface.

Followup

No Followups Have Been Posted

Attached Files:

Changes:

Field Old Value Date By
assigned_tonone2014-06-16 09:41gildor-admin