00:57 <discocaml> <regularspatula> i have used otoml and it was fine for my needs. i honestly can't remember why I chose it over toml

12:12 <discocaml> <andreypopp> ended up with otoml as well

19:30 <olle_> I can't just use GADT on a single constructor in a sum type, can I?

19:31 <olle_> I have a AST with statement Hash_set, and part of Hash_set is type which can only be a HashTable type in this case.

19:31 <olle_> Hm wonder if LLM can solve such questions...

19:34 <discocaml> <Kali> if you can describe what you're looking for better then i can help but it's unclear to me what you're asking

19:35 <olle_> Yea one sec

19:37 <olle_> https://paste.centos.org/view/73dc6b97

19:37 <olle_> Hopefully clear :)

19:37 <olle_> Just part of the AST def, hope it's enough

19:38 <olle_> Maybe I don't understand GADT correctly, but I want to limit which constructors are available in a certain type

19:38 <olle_> lvalue can be a bunch of things, but for HashSet statement, I want to limit lvalue to be Variable of string, not the other constructors.

19:38 <discocaml> <Kali> oh, ok

19:45 <discocaml> <Kali> you can do something like this: https://paste.centos.org/view/7979ffbd

19:46 <olle_> oh that's pretty cool

19:46 <olle_> Kali is it ok if i copy it to the forum for future reference?

19:48 <olle_> kali or you can add it here :) https://discuss.ocaml.org/t/limit-the-possible-constructor-in-another-type-constuctor/14440

19:51 <discocaml> <Kali> yes, but just note that the issue with this method is that because the types of those constructors are distinct, you have to do something to erase the type variable if you ever want to put a Variable ... and a Property_access ... in the same container / return them from the same function

19:52 <discocaml> <Kali> you can't i.e. have a `variable lvalue list` containing Property_access or Object_access or vice versa

19:53 <olle_> Hm good point

19:53 <discocaml> <Kali> `type erased_lvalue = Erase : _ lvalue -> erased_lvalue`

19:55 <olle_> +1

19:55 <olle_> If only I was payed for writing on this compiler ^^'

20:08 <olle_> paid*?

20:09 <discocaml> <Kali> yes, paid