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