ocaml-in-python

ocaml-in-python copied to clipboard

Dear @thierry-martinez , `dune runtest` fails in `main` with: ``` /external/ocaml-in-python$ dune runtest File "tests/examples/dune", line 6, characters 0-262: 6 | (rule 7 | (alias runtest) 8 | (deps 9...

ejgallego

Dear @thierry-martinez , once I workaround #4 and #5 , I still get an error: ``` >>> import ocaml >>> ocaml.require("coq-lsp.petanque") >>> from ocaml import Agent Traceback (most recent call...

ejgallego

Dear @thierry-martinez , I've seen that the recommended setup produces some type errors often; most of them seem like maybe a one-off typo somewhere? For example, given this interface: ```ocaml...

ejgallego

Undefined external when importing Coq library

1

Dear @thierry-martinez , with `ocaml-in-python` master, OCaml 4.14, and Coq 8.19 installed from opam, I get: ``` >>> import ocaml # That works fine >>> ocaml.require("coq-core.clib") Traceback (most recent call...

ejgallego

Thanks for you efforts with this library! With Ocaml 4.14.0 and containers 3.9 installed; in python 3.9.4, I observed the strange behavior below: the first call to `ocaml.CCInt.zero` fails and...

bguil

It looks like this won't compile on Ocaml 5.3 -- looks like this might be due to upstream stuff with stdlibcompat. I see there is a pr for stdlibcompat here...

Josef-Thorne-A