David Sheets

Probably using some of `futimens` and `utimensat`.

Check `flock(2)`, `fcntl(2)`, and `lockf(3)`

Needs ocaml-sys-xattr

Start adding safety flags and removing naughty bits

3

Holes, non-termination, and postulates, I'm coming for you. Switching to coinductive records for composability between coalgebras.

↝*-irr-cont postulate is false

3

`↝*-irr-cont` postulated at is false due to the non-monotonicity of reductions over continuations. Here is a counterexample: > `𝒮 nop [while true then s] E ↝* 𝒮 s [while true...

lib.mllib with lib.mli but no lib.ml doesn't build

6

If you have a `lib.mllib` file for an archive which is to contain `Lib` from `lib.mli` but the `lib.mli` file does not have a corresponding `lib.ml` file, ocamlbuild will refuse...