09:38 <Anarchos> how to create an opam switch with debug symbols in the runtime ?

14:52 <neiluj> Hey! Had a dream: all packages would be functor parametrized by an interface mocking their dependencies. The test directory would instantiate the lib with one compatible dependency for the tests. And the compiler would propagate the type equality constraints to handle the case of diamond dependencies

14:52 <neiluj> is there some research about it? would be this desirable in practice?

14:52 <neiluj> this would push the concept of modularity to the extreme

15:29 <d_bot> <Et7f3 (@me on reply)> it is the "case" at the moment. by default dependencies come from opam but you could create another repo with your fake dependencies inside they when it compile it will choose the fake one