Naïm Camille Favier
Naïm Camille Favier
Sounds good, but how would this help solve #2112?
https://discord.com/channels/964553017212956692/970004609458405447/1102358678973198366 Not much discussion, just noticing that some of the computation rules are missing.
(Possibly related to https://github.com/banacorn/agda-mode-vscode/issues/119)
Bisected to https://github.com/banacorn/agda-mode-vscode/commit/6278a016e87bddafa8adb347d22eed4083fc5250
Well, that was the case before https://github.com/banacorn/agda-mode-vscode/commit/6278a016e87bddafa8adb347d22eed4083fc5250.
In 0.6.2 the goal just gets disabled instead...
This is not solved on 0.6.3, but it's a heisenbug: every time I try to reproduce it it stops happening. Once in a while the background highlighting persists after reloading...
`pkgs.emptyDirectory` should work, but yeah, we should probably allow `package` options to be `null` in general. That would have to be coordinated with nixpkgs' `mkPackageOption` though.
https://github.com/NixOS/nixpkgs/pull/232808
I just realised there's a problem with this: the vscode module relies on `cfg.package` to determine the "flavour" (code/insiders/codium) and version of the package, which influences the location of the...