Simon Marlow
Simon Marlow
(please close; I don't have permission to do that)
Came here looking for exactly this issue, because the "Nix" terminology nags at me every time I read the Cabal docs. This specific issue was about the terminology for "v2-build",...
The short answer is "yes". Glean can be used to construct extra context for the LLM, for example if you know that there's a particular class in scope then you...
@Mikolaj sorry I didn't see the response earlier. It's non-trivial for me to upgrade GHC right now but looking at linked issue I'm fairly sure that is the bug, so...
#163 and #164 should address this
gentle ping
That does look surprising. It'll be hard for me to repro without the real DB, but I might be able to try the query on a test DB and see...
OK, I was able to repro the issue and I understand what's going on. The bad news is that there's no bug as such - things are working as expected....
merged into #663
Aha, it turns out I hadn't compiled with optimisation, now the numbers look more respectable. Experiment continuing, I'll post some numbers when I've done some proper benchmarking.