Stéphane Glondu: > On 10/10/2017 10:27, Mehdi Dogguy wrote: >>> I now and then look at the OCaml transition page, but, from what >>> I see there, I am not able to derive if and how I could help >>> (apart from working on hol-light - which I am doing in the >>> background). Maybe you want to share some bits on how to >>> contribute? >>> >> >> Looking at the transition page, you may identify packages failing >> to build in level N blocking others packages from levels >N. Those >> are the ones one should focus on and try to fix. > > One of those would be ppx-deriving. >
ppx-deriving needs a new source upload, and also ppx-type-conv (and maybe others) too. I think the latest versions from opam repos should work, I've been using them locally. Details here: https://github.com/ocaml-ppx/ppx_deriving/pull/141 https://github.com/ocaml-ppx/ppx_deriving/issues/143 X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
