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