Andreas Källberg

Results 129 comments of Andreas Källberg

> This flake could also live at, eg, [flakeshub.com](https://flakehub.com/), but that isn't great for maintainability or discoverability. it actually can’t, since it uses IFD (import from derivation), which isn’t supported...

If I reconstruct it one level deeper it gives the correct parentheses again: ``` j('(a = b)[c]') .find(j.MemberExpression) .replaceWith(({node: {object: {operator,left,right}, property, computed}}) => j.memberExpression(j.assignmentExpression(operator,left,right), property, computed)) .toSource() ``` gives...

It's not a major issue, I could just run `ghcid --allow-eval` in a normal terminal inside vs-code instead.

I have the same issue with (g)vim on Arch. About once in every 10 saves, ghcid sees a partial file.

Would it also be possible to include information about what token was expected like in megaparsec? In theory that information should be available as well, but maybe it's not available...

I have the same problem as @Infinisil with the added detail that every time the git lockfile `.git/index.lock` is touched, lorri will rebuild the environment. Since my shell prompt checks...

I was thinking the same thing. The HLS integration is somewhat limited in supported features, so it would be nice to have cabal support in the command line tool as...

Hmm, I'm unable to reproduce this on darwin. I'll see if I can reproduce it on a linux VM. Does agda itself have the same issue? You can also try...

Nope, I don't have any trouble if I build it on a linux machine either. See logs [here](https://nixbuild.net/builds/3222451?t=EtgBCm4KBWJ1aWxkCgpidWlsZDpyZWFkGAMiCAoGCAcSAhA3Ig0KCwgEEgc6BQoDGIEIMiYKJAoCCBsSBggFEgIIBRoWCgQKAggFCggKBiCh5unDBgoEGgIIADIWChQKAggbEg4IAhIDGIAIEgUQs9fEARIkCAASIFaBXnwoRt_3x1qNf1Zf6jyn9onDE5GqTPHyrcmgp85uGkDTP_aN5_5Yuj_9JGrTbYQ3Rqz6cPaduPHcxHoFruIzkxqoPDgpSegw5BXlfT6PkTEsPX5gAm9jjJjz28gyrCEIIiIKIMMcAdgu4M7dMFK4qh9a6YGmXL8A01bcXz8m3oHczI-e). Maybe something changed since you tried it? Can you include your lockfile?...

I'll close this for now! Please reopen it if it is still an issue for you.