Quinn

Python version of https://github.com/ejgallego/pycoq/issues/7 is in an upcoming push.

lmao, `dune exec -- python3 test/py/unit/spec.py ` was working perfectly a second ago and suddenly stopped working.

ok that's good info. I'm being careful to run it after the dune build. ```shell quinn@Latitude-3340:~/Dropbox/Projects/misc-coq/pycoq$ dune exec -- python3 test/py/unit/spec.py Traceback (most recent call last): File "test/py/unit/spec.py", line 1,...

Can we maybe pass test files to `dune` like you suggested? It would maybe bring us further away from using a proper python test harness like `pytest`, but who's to...

@ejgallego I should take a break, but perhaps you can provide the `dune` code you're talking about to this branch? If not I can take a crack at it when...

> Had a quick look despite the conflicts, thanks! > > I think we have a few unrelated things here, I suggest we cherry-pick them to their own PR, a...

ocaml or python? I think this should be 2 issues. Please rename this to "python test suite" and open up a new issue for "ocaml test suite", perhaps?

Still interested in progress here.

@charmoniumQ Progress here would unbottleneck a lot of my build times. Are you thinking about helping it parallelize within the overall normal `straight-emacs-env` nix derivation or rethinking that derivation to...

~~(this is no longer working on my machine)~~ (edit: false positive)