Proposal: faster Bios protocol

Question

Proposal: faster Bios protocol

pepeiborra opened this issue 3 years ago · comments

Currently the Bios protocol can involve two process calls: one asking for the flags/targets and another asking for the deps. This split means that the Bios program may need to implement some stateful caching in order to respond efficiently to the second request.

The proposal is to merge both calls into a single one using two env vars: HIE_BIOS_FLAGS and HIE_BIOS_DEPS. I would add a third output value, the path to ghc, in an env var HIE_BIOS_GHC_PATH.

wz1000 · Answer 1 · Wed Dec 16 2020 22:09:57 GMT+0800 (China Standard Time)

HIE_BIOS_GHC_PATH will also unblock #265

Pepe Iborra · Answer 2 · Fri Dec 25 2020 19:22:52 GMT+0800 (China Standard Time)

Is anyone working on HIE_BIOS_GHC_PATH? It's the only piece missing and I might find some time to work on it during the incoming days.

fendor · Answer 3 · Fri Dec 25 2020 19:49:32 GMT+0800 (China Standard Time)

I am not working on it right now.

fendor · Answer 4 · Fri Jun 16 2023 23:58:45 GMT+0800 (China Standard Time)

The first part of this proposal has been implemented.
For the second part of this proposal, which is about the GHC version used for the Bios Cradle, I am closing this issue in favour of #401