[new release] datalog (0.7)

[c-cube]

An in-memory datalog implementation for OCaml

• Project page: https://github.com/c-cube/datalog
• Documentation: https://c-cube.github.io/datalog

CHANGES:

• compat with OCaml 5.2
• fix location reporting in parse errors

[shonfeder]

Thank you for publishing the package update :)

I see several CI failures that look to be failing tests on some platforms. Could you take a look at those when you have a chance?

We also have this dune subst thing. If you don't mind, I can just commit the fix in directly.

[c-cube]

seems good to me, honestly. It seems that on x32 the tests sometimes fail because the hashtbl traversal order is different, which is not a big deal.

[shonfeder]

seems good to me, honestly. It seems that on x32 the tests sometimes fail because the hashtbl traversal order is different, which is not a big deal.

Since hey are not signs of problems, makes sense not to block on this. But fixing the tests so that they are reliable across different platforms will prevent having to face this kind of snag in the future. Would accept a PR to make the tests more robust across platforms?

---

Thanks very much for publishing the update, and of course for the nice library and utility :)

[c-cube]

Sure, yeah, in this case it's 10 yo tests that I didn't bother making deterministic (by sorting) :)