08:58 <discocaml> <Kakadu> @lukstafi Do you have a demo?

10:48 <discocaml> <lukstafi> Just created a repro case: https://github.com/lukstafi/ppx_minidebug/blob/main/test/test_expect_test.ml -- Here the file is not even created, in my other use-case I do get the part of the logging happening outside the `expect_test` "sandbox", specifically `BEGIN DEBUG SESSION` during initialization of a debugged module.

17:18 <hammdist> https://github.com/rixed/ocaml-bin-annot <-- I'm trying to revive this code on top of 4.14.1. the compiler doesn't like | Partial_pattern pat -> search_pattern pat and thinks Partial_pattern expects 2 arguments. https://www.ocaml.org/p/ocaml-base-compiler/4.14.0/doc/Cmt_format/index.html#type-binary_part.Partial_module_type I see this is true in

17:18 <hammdist> the docs, but I don't know how to fix it. what is the difference between ":" and "of" first of all?

17:23 <hammdist> hm seems related to this https://stackoverflow.com/questions/69683695/in-ocaml-a-variant-declaring-its-tags-with-a-colon

17:30 <discocaml> <NULL> In this context, they are two ways of giving the type of the arguments and return type of the constructor

17:30 <discocaml> <NULL> `: τ` is the most explicit; this gives the exact type of the constructor

17:31 <discocaml> <NULL> `of τ` means `: τ -> adt` where `adt` is the type you're defining (with its type arguments)

18:36 <octachron> Partial_pattern does expect two arguments and beware that Partial_pattern is a GADT constructor nowadays.

18:37 <octachron> (which is the meaningful difference between `Constructor of <argument type> and `Constructor: <argument type> -> <return type>`

22:50 <discocaml> <masterbuilder> it seems like `lwt.unix` does not work in Dune anymore for the Lwt_unix library, what should it be changed to?

22:52 <discocaml> <masterbuilder> hmm, or maybe nothing has changed? it works in one project but not another one, weird

22:54 <discocaml> <masterbuilder> actually it's an opam problem sorry, anyway I'll post in #opam if I can't resolve it I guess

23:06 <discocaml> <masterbuilder> wrong switch

23:15 <discocaml> <lukstafi> What strategies do people use to not repeat type definitions (e.g. module signatures) between `ml` and `mli`, if any?

23:16 <dh`> put types in their own files

23:16 <discocaml> <lukstafi> E.g. I'm tempted to write `module type T = module type of M erasing foo_impl`

23:20 <discocaml> <NULL> The _intf trick often comes up : https://www.craigfe.io/posts/the-intf-trick