Original bug ID: 7493
Reporter: @damiendoligez
Status: confirmed (set by @damiendoligez on 2017-02-24T14:17:53Z)
Resolution: open
Priority: normal
Severity: feature
Version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: compiler driver
Tags: junior_job
Bug description
Following the discussion in #217, the core team agreed that we would like a command-line option to make the compiler raise an error when compiling a .ml file if the corresponding .mli is missing.