Marcello Seri

Results 435 comments of Marcello Seri

By mistake, I just found out that it does not fail the second time... Try this ```ocaml try AD.reverse_prop (Arr (Arr.ones [| 1 |])) x with e -> AD.reverse_prop (Arr...

There is a post-installation message that tells you how to install the kernel. It usually requires you to call ``` ocaml-jupyter-opam-genspec jupyter kernelspec install --user --name "ocaml-jupyter-$(opam var switch)" "$(opam...

There are new failures appearing: ``` #=== ERROR while compiling eio.0.5 ============================================# # context 2.1.3 | linux/x86_64 | ocaml-variants.5.0.0+trunk | git+https://github.com/ocaml/opam-repository.git # path ~/work/ocaml-cohttp/ocaml-cohttp/_opam/.opam-switch/build/eio.0.5 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build...

You need to install those two dependencies (gmp and pkgconf), usually one does it with `opam depext jupyter` but I don't know if/how this works on windows.

You don’t know a priori what is the content. I think we should leave it to the library users to do

It says may. Should we leave it as an implementation detail for the library users to implement?

Have the sources changed? It is now failing with `OpamSolution.Fetch_fail("https://github.com/ip2location/ip2location-ocaml/archive/v8.0.0.tar.gz (Bad checksum, expected md5=6a8674995abf85d0bbbebf9bcb55b920)")`