00:00 <abbe__> interesting, I guess type constraints only work for concrete types, and not ADTs, i.e. if with type e = SomeAbstractType, then it still expects expression of type Mods.Foo.e despite me passing instance of SomeAbstractType

00:01 <dh`> I don't understand

00:02 <dh`> also the A in "ADT" stands for "algebraic", not "abstract"

00:03 <discocaml> <Kali> abbe: give an example

00:03 <discocaml> <lecondorduplateau> A actually stands for Asexual

00:05 <discocaml> <Kali> well... ocaml data does get cloned in many cases...

00:14 <abbe__> sorry, I'm trying to isolate my problem, but in the small scenario it's working even for non-primitive data types, like records. so likely PEBKAC somewhere

00:15 <abbe__> once I narrow it done, i'll share. thanks again for your time to help me out.

02:19 <discocaml> <mbacarella> is there anything wrong with throwing mutex locks around a lazy. force? I see some discussion online that this blocks the entire multicore domain but this seems like a niche concern? most of the time I come across lazies it's just for lazy loading initializers and not a recurring workload thing

04:40 <companion_cube> I think it's fine personally. a global lazy is otherwise unsafe, so…

10:57 <prgbln> are there no opam switches for new versions of the compiler with afl fuzz instrumentation included?

11:04 <prgbln> ah, the switch is called 'ocaml-option-afl' :)

11:05 <discocaml> <JM> yeah, the way to pick versions has changed: https://discuss.ocaml.org/t/experimental-new-layout-for-the-ocaml-variants-packages-in-opam-repository/6779

11:07 <prgbln> TIL, thanks JM

14:39 <discocaml> <barconstruction> From OCaml.org/install:

14:39 <discocaml> <barconstruction> > Use the Diskuv OCaml ("DKML") Windows installer ... The installer sets up OCaml 4.14.0 and OCaml's package manager opam, with Git and the Visual Studio compiler.

14:39 <discocaml> <barconstruction>

14:39 <discocaml> <barconstruction> How feature-complete is this version of opam being installed? Can I use it to download dependencies

14:40 <discocaml> <barconstruction> I understand that opam does not have first class support for Windows yet.

14:40 <discocaml> <barconstruction> > the next version of opam will focus on closing the gap to fully support Windows.

22:44 <discocaml> <nikruiz> Hello, we are looking for employees for a cryptocurrency project:

22:45 <discocaml> <nikruiz>

22:45 <discocaml> <nikruiz> * Beta tester ($45/hour)

22:45 <discocaml> <nikruiz> * Moderator ($500/week)

22:45 <discocaml> <nikruiz> * Community Manager ($1000/week)

22:45 <discocaml> <nikruiz> * NFT-artist (negotiable)

22:45 <discocaml> <nikruiz> * Advertisers (negotiable)

22:45 <discocaml> <nikruiz> * Web Developer (negotiable)

22:45 <discocaml> <nikruiz> * Investors

22:45 <discocaml> <nikruiz>

22:45 <discocaml> <nikruiz> If you are interested in collaborating, please send me a DM

22:46 <discocaml> <._null._> Is this the exact same ad as last time ?

22:49 <corwin> Investors should have said "(anyone dumber than that)"