09:42 <discocaml> <octachron> @xavierm02 , if you don't have higher-order type constructor, using (3) and GADT is generally simpler. `maybe_reduce_aux` can be straightforwardly inlined: https://gist.github.com/Octachron/538700cbe49e0eb8e1068c7ed89cd1c8 . And it is possible to name existentially quantified type when pattern matching if needed.

10:14 <discocaml> <breadmanben> Hello, would anyone be willing to code review my OCaml project? It is the liquid templating language written in OCaml. I'm a beginner and don't know anyone who know OCaml IRL so I think it would be really cool if someone could read my code and tell me what to improve. Anyway send me a message if you are interested!

12:32 <discocaml> <xavierm02> @octachron Perfect! Thank you!

15:59 <discocaml> <0xfederama> Sorry for the 1 month-late answer. But why did you reference a PR on that vim-ocaml plugin? The repo doesn't work with that fix?

16:09 <discocaml> <0xfederama> I've also found this https://github.com/Kerl13/tree-sitter-menhir, does anyone use it?

16:18 <discocaml> <0xfederama> Sorry for the 1 month-late answer. But why did you reference a PR on that vim-ocaml plugin? The repo doesn't work without that fix?

16:37 <discocaml> <0xfederama> Sorry for the 1 month-late answer. Thanks for that, I "hardcoded" the filetypes with an autocmd and now it works! I have also found https://github.com/Kerl13/tree-sitter-menhir, so it should work. I have it installed and with the correct filetype, but it gives a syntax error. Does someone know anything about it?

16:37 <discocaml> <0xfederama> Sorry for the 1 month-late answer. Thanks for that, I "hardcoded" the filetypes with an autocmd and now it works! I have also found https://github.com/Kerl13/tree-sitter-menhir, so it should work. I have it installed and with the correct filetype, but it gives a syntax error with the rist `%`. Does someone know anything about it?

16:37 <discocaml> <0xfederama> Sorry for the 1 month-late answer. Thanks for that, I "hardcoded" the filetypes with an autocmd and now it works! I have also found https://github.com/Kerl13/tree-sitter-menhir, so it should work. I have it installed and with the correct filetype, but it gives a syntax error with the first `%`. Does someone know anything about it?

16:42 <discocaml> <0xfederama> Sorry for the 1 month-late answer. Thanks for that, I "hardcoded" the filetypes with an autocmd and now it works! I have also found https://github.com/Kerl13/tree-sitter-menhir, so it should work also for menhir. I have it installed and with the correct filetype, but it gives a syntax error with the first `%`. Does someone know anything about it?

16:54 <discocaml> <0xfederama> Sorry for the 1 month-late answer. Thanks for that, I "hardcoded" the filetypes with an autocmd and now it works... kinda. It has a very strange behavior: the first file I open (menhir or ocamllex) does not have issues, but the second one always has, even if the filetype is correct.

16:54 <discocaml> <0xfederama> I have found https://github.com/Kerl13/tree-sitter-menhir, so it should work also for menhir