David Allsopp
David Allsopp
I agree `post` (and `build`) are confusing in the way they look as variables. Doing _anything_ other than putting them as `{ post & rest-of-proposition }` will have crazy-to-define semantics,...
The second part is not a solve - at that point, a dependency graph is being constructed, so the formula is only evaluated to determine the edges of the graph...
It does, yes
Chatting to @MisterDA, I realise there's a slight error with the configuration for Cygwin/MSYS2 here which I'll fix shortly. The change in `Makefile.common` remains fine.
I've pushed a possible Windows fix for this - the alternative is to keep the parsing code in `startup_aux.c` processing UTF-16, but I think that then requires more work in...
There’s a number of things which are confusing me here. `getentropy` was only standardised in [Issue 8](https://pubs.opengroup.org/onlinepubs/9799919799/functions/getentropy.html), so the test for the declaration is likely to remain tricky for a...
Why are we dropping i686 builds completely? I can't remember - do the Linux builds use opam to create the compiler switches, or did we optimise it with a system...
Kudos for using Coccinelle to apply the change! I like your argument for the name of `countof`, but I'm slightly worried at the header - `misc.h` is pulled in by...
Both these functions specifically state that they return a quoted version of the argument, not a maybe-quoted version. I'm virtually certain there's code out there relying on that contract (because...
The only concern is if `Filename.quote` is used as a `string -> string` value, as in: ```ocaml foo |> operation |> operation |> Filename.quote ```