00:01 <dh`> (it's not _quite_ that simple because they're related concepts -- both objects and source files have interfaces and in both cases those interfaces can involve abstraction; but they have different functional requirements)

00:32 <discocaml> <yawaramin> well that's awkward because that was the whole intention with OCaml (it was seen as an elegant way to kill two birds with one stone)

00:44 <dh`> that was though, I think, more in reaction to the fundamental problems with separate compilation in SML than as a design proposal in its own right

00:44 <dh`> but idk, wasn't there then

00:54 <discocaml> <yawaramin> see https://discuss.ocaml.org/t/what-is-the-reason-of-separation-of-module-implementation-and-signatures-in-ocaml/1735/33?u=yawaramin

01:18 <xvilka> Hi! Are Menhir developers here? Could you please release a new version that works with 5.2.0?

01:18 <xvilka> By the way, the channel title should be changed

01:40 <discocaml> <deepspacejohn> You will probably have to email them.

01:40 <discocaml> <deepspacejohn> Although I’ve been using Menhir with 5.2 and have no issues…

02:01 <xvilka> Hmm, it doesn't build, I had to either use Git version or apply the patch to change the syntax from `[@@@ocaml.deprecated...` to `[@@ocaml.deprecated...`