Gabriel Scherer

Another related work: LLVM now has [a policy](https://llvm.org/docs/DeveloperPolicy.html#ai-generated-contributions) on AI generated contributions. Their current policy in full: > Artificial intelligence systems raise many questions around copyright that have yet to...

We are starting to see AI-written submissions and I would like to make progress towards having *some* policy merged. The policy that I proposed has been described to me as:...

For me the basic requirements of an AI policy should be as follows: - It should require that people who post AI-written content (PRs, or issues, or reviews, or comments)...

There is something that I find fishy with the idea that these two value constructors should have their initializing writes silenced, while the other value constructors don't appear to use...

But then why don't we see problems with the other `caml_alloc_*` functions as well? (Maybe they are uncommon in practice, with most real-world programs using pure-OCaml value construction code? How...

Would you by chance feel motivated enough to ask the clang people whether they would be willing to implement this?

Your reasoning seems sound (I agree with the idea of fixing the issue at the root instead of silencing each consumer of these allocations functions). But then I think that...

Not that I can see, I think that you or @OlivierNicole or @dra27 should go ahead and merge. (I could do it as well, but I want to encourage other...

It took me a bit of time to understand what is going on in your second commit, that looks like a refactoring -- some changes are very automatic, but there...

I find your definition of `sequential` a bit harder to think about, but I suspect that it is mostly equivalent, with the subtlety that my proposal does not return any...