Propose changes to the build system: removing interface only modules support


In OCaml, there is a not well known feature, that a type declaration only module does not need its implementation, however, this is a leaky abstraction, for example:

exception A of int

This module can not be interface only, since exception is not just type declaration, there are other corner cases.

I am proposing to remove interface only module support in bsb, this will not affect most people. For people who are affected, changing mli(or rei) to ml(re) would help.

What do you think? – Thanks


I agree this would be simpler, provided this is documented.


I think this will be a pretty uncontroversial change.