Thomas Braibant

Results 8 comments of Thomas Braibant

I can solve this issue using Lwt_unix.system, or the like, but I would really like to know what is going wrong here.

Ok, we have investigated it a bit more and here is a possible explanation: In the code of the dll, if we do ``` let _ = (7,8) in let...

It seems to be a dlopen related bug. In this case, RTLD_DEEPBIND is mandatory.

Hijacking this thread back to the original subject (kind of), I have some issues with how reverse bindings might end up working in practice. From our experiments, it's quite hard...

Maybe we should continue the discussion in the #265 pull request

Thanks for looking into a fix. I will try invoking explicitly `ZDICT_trainFromBuffer_cover` in this case. In order to reproduce the previous behavior, I would need to find out what was...

Thanks. I understand that it's reasonable to fail on degenerate data, and I appreciate that it should not be fixed in this case. However, as an API user, I am...