Gabriel Scherer
Gabriel Scherer
What can we do to make progress on this PR (or close it)? @dustanddreams, do you agree that `CAMLunreachable()` should be `[[noreturn]]`, and that `CAMLassert` is not `[[noreturn]]` anymore? Do...
I view things differently: 1. To be mergeable this PR would need a maintainer approval, so I still need to convince someone else to approve the PR. Resolving open discussions...
I pushed an improved version of this PR to accommodate @dustanddreams' suggestion: if DEBUG is set, `CAMLunreachable()` will print a file and line number on stderr before aborting. The new...
This needs a maintainer approval, and/but both @MisterDA and @dustanddreams reviewed and approved the PR.
> I believe that the reasoning for this change is flawed because it assumes that the compiler's view of the language -- that the scrutinee of the match is a...
My impression is that this PR is going nowhere because there is no consensus, so I'll close and the corresponding issue as well.
Having a `cold` action that skips unless some environment variable is set is pretty low-tech, I can implement it in half an hour, and rather more convenient than having to...
Domain.DLS is the provided API for domain-local (~ per-core) storage for OCaml programs, and it is reasonably efficient. > There is no way to fold over all domain local state,...
Fun fact, two ways to add parentheses around some arguments fix the issue: ```ocaml # if false then (fatal_error "%s" "foo" "bar");; (* bug *) - : unit = ()...