Florian Angeletti

The trunk behavior is correct: `Obj.magic x` is a computation and thus subject to the value restriction. You can check that: ```ocaml let ignore: _ -> unit = Obj.magic ignore...

Well, the best way would be that they stop using `Obj.magic`, or at least review if they still need it. The hackish way is to embrace their brokenness and simply...

This is the consequence of #12932 which removed a special treatment for typing record label. For instance, taking the original example from #4862 ```ocaml type t = {f: 'a. ('a...

@gasche , my summary of the history would be more: * the specific example of #4862 was fixed when `raise` was made non-expansive in #1142 in OCaml 4.06 (that was...

@yawaramin, did you discuss with the opam repository maintainers about "taking some pressure off the official repository"? It seems to me that it could be more efficient for you to...

> But as you noticed, another goal is a more lax publishing approach where anyone can publish any time. Anyone can already publish anytime to the opam repository, this is...

The opam repository is getting pruned of non-installable packages and not-usable versions of existing packages. Thus the premise that the new repository would be a "laxer" repository than the main...

I have created a `ppxlib-dev` team in the ocaml organization.

I have added the missing permission and tested the workflow at https://github.com/Octachron/ocaml/pull/10 .

It does look like dependent functor may break the assumption that there is most exhaustive environment for error messages. However, it is important to keep in mind that the use...