04:47 <williewillus> I can't seem to create a 4.12.1 switch. My system ocaml/opam is 4.13.1. When I do `opam switch create 4.12.1" i get an unknown version error.

04:47 <williewillus> Even doing one of the sample commands from the release notes "opam switch create 4.12.1+flambda+nnpchecker --package=ocaml-variants.4.12.1+options,ocaml-option-flambda,ocaml-option-nnpchecker" I get an error.

04:47 <williewillus> doing opam switch list-available I don't see 4.12.1 anywhere, only 4.12.0. Is something missing?

04:53 <williewillus> okay I nuked my .opam and recreated and now things show up

04:55 <williewillus> oh, was probably just missing an opam update, lol. Sorry for the noise.

09:24 <d_bot> <Le condor du plateau> is there a ppx to generate `is_*` functions for boolean record attributes?

09:24 <d_bot> <Le condor du plateau> it's a pretty common pattern so I thought it already existed

09:36 <sim642> There's https://github.com/janestreet/ppx_fields_conv, but it doesn't do any prefixing of the generated accessor functions

09:37 <sim642> There's also this ppxlib deriver example, which you could probably just change to handle only bool fields and use the prefix you want: https://github.com/ocaml-ppx/ppxlib/tree/main/examples/simple-deriver

09:38 <sim642> It's such a small deriver that you could just copy and keep as an internal dune library in your bigger project

10:31 <d_bot> <Le condor du plateau> perfect, thank you!

15:07 <d_bot> <Bluddy> what's everybody up to?

15:11 <Corbin> I'm compiling to categories: http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf It's like functors, but less practical.

15:11 <d_bot> <Ambika E.> Started writing a version control system in OCaml recently; my plan is to approach it without reading up on anything about them and only equipped with my experiences from using git. Obviously I'll run into many walls this way but i suspect that this will make it a lot more valuable and insightful for me to read about how others solved the common problems that arise when trying to implement these

15:24 <d_bot> <Alistair> Writing a dissertation for constraint-based typing of OCaml

15:54 <d_bot> <RegularSpatula> Trying to decide between js_of_ocaml and ReScript for some projects

15:57 <d_bot> <orbitz> I'm working on getting some bugs out of a project. Getting pretty close

15:58 <d_bot> <orbitz> Sounds like a fun way to learn!

16:02 <d_bot> <Frisk> At work, patching and vendoring some modules to support rosetta without having to be on a rosetta terminal since we haven't moved from bucklescript to melange yet

16:02 <d_bot> <Frisk> At home, poking at hardcaml

16:25 <d_bot> <Et7f3 (@me on reply)> I wonder if we can do the same for kernel or AI. For kernel I think you need at least read the documentation for a microprocessor/and of a compiler. And for AI ?

16:31 <d_bot> <Ambika E.> I think it's okay if you need to refer to documentation

16:31 <d_bot> <Ambika E.> The goal is to avoid looking at reference implementations, tutorials, and explanations of other implementations

17:37 <d_bot> <Bluddy> It's going to be hard to beat git, but good luck!

17:37 <d_bot> <Bluddy> and enjoy!

17:38 <d_bot> <Bluddy> At work I do AI stuff not related to OCaml. At home, I work on my reverse-engineering and reimplementing project for Railroad Tycoon. Super fun.

17:39 <d_bot> <Bluddy> And of course I'm doing it in ocaml.

17:44 <d_bot> <Ambika E.> wow

17:44 <d_bot> <Ambika E.> any of that open source?

17:44 <d_bot> <Ambika E.> sounds super interestnig

17:45 <d_bot> <Ambika E.> at work ive been building a p2p networking library and we're starting to wrap up the mvp feature development phase and are moving into the integration tests and benchmarks phase

17:45 <d_bot> <Ambika E.> https://github.com/marigold-dev/pollinate

21:41 <d_bot> <josé> Awesome work! just an off-topic question, I thought esy referred to esy.json? Why is it package.json instead here?

21:43 <d_bot> <josé> Does esy support that? or does it support passing it as an argument?

22:04 <d_bot> <infrandomness> Hi guys, I wanted to know if it's fine to ask general programming question here ?

22:04 <d_bot> <cod1r> this channel is the "general" channel

22:09 <d_bot> <infrandomness> ah yeah won't be able to post code here

22:09 <d_bot> <infrandomness> says it spams IRC

22:09 <d_bot> <NULL> Either link to a pastebin-like or ask your question in #beginners

22:11 <Corbin> For example, you could use https://bpa.st/ to link code. You can use the dropdown to highlight your code as OCaml or other languages.

22:12 <d_bot> <infrandomness> right.. anyhow, to any of you that is familiar to the world of compilers, newbie here, with object files that refuses to go through CC after code generation :

22:12 <d_bot> <infrandomness> This is a part of my IR code : https://www.toptal.com/developers/hastebin/uhevilageg.rust

22:12 <d_bot> <infrandomness> and this is the IR / disassembly of my object file https://www.toptal.com/developers/hastebin/mojucokaqa.yaml

22:14 <d_bot> <infrandomness> I tried removing all of the parameters from the main function signature (function u0 in the IR), but that did not help