07:09 <d_bot> <Et7f3> Hy, which irc client do you use ?

07:10 <d_bot> <Et7f3> (I have seen weechat but if you have any other to suggest)

08:46 <d_bot> <EduardoRFS> Anyone want's to help me with a recursive functor module?

08:46 <d_bot> <EduardoRFS>

08:46 <d_bot> <EduardoRFS> This code typechecks but doesn't build, because infinite functor recursion, there is any good trick on how to solve it? If I can make this serializing a lot of GADTs using a ppx that I'm writing is feasible without any user defined code.

08:46 <d_bot> <EduardoRFS>

08:46 <d_bot> <EduardoRFS> https://gist.github.com/EduardoRFS/340c2939c99e34b553701fd2104512a4#file-recursive_module_for_ppx-ml-L28

13:41 <d_bot> <Cyclomatic Complexity> You might want to make Option lazy (functor () -> ...), and only instantiate it when you actually use it (int (Option ()).t), and all instantiations should be compatible with each other

18:07 <d_bot> <EduardoRFS> the problem is that Data_encoding uses it during instantiation of `case`, so I do the lazy solution, it implies in an infinite recursion during instantiation