Quinn

This is the precise error message re `Require Data.ByteString` ``` nix-shell --run "coqc -R result/hs-to-coq/base \"\" -Q src-coq Src src-coq/Types.v" File "./src-coq/Types.v", line 15, characters 8-23: Error: Unable to locate...

I've been wrapping my head around the `wc` example, looks like it has the components I need, thanks! > That does seem like the right solution. You need a file...

I thought of that. I can piggyback splitting up the main ci file into multiple files (but retain identical functionality) into a PR that has `nix` ci. However, the pipeline...

`-package-envs` isn't present in the current `hs-to-coq --help` menu.

Confused why `out_channel` can be unbounded, since it's clearly in stdlib which apparently is `open`'d at the top of every file. https://v2.ocaml.org/releases/4.13/api/Stdlib.html#TYPEout_channel @christianoc told me on https://github.com/rescript-lang/rescript-compiler/issues/5596 that some things...

The issue: https://github.com/aantron/bisect_ppx/issues/406

> Would this same PR work with the older version of ReScript? I added `rescript-9` and `rescript-10` as two separate processes to test. I think I expect constraints like "if...

Is it because a download happens in `setup.py`, and would have to be overridden by a nix fetcher to be able to run? https://github.com/cvangysel/pytrec_eval/blob/master/setup.py

update: generating `package-lock.json` with `npm install --legacy-peer-deps` fixes it. The problem seems to be specific to `yarn.lock`.

update: some pushing the flake around subdirectories in the monorepo revealed a stack trace! and it turns out to bottom out at the `@stdlib/assert` library