Yacine Hmito
Yacine Hmito
@pgonzal I like this proposition. I'm currently experimenting with api-extractor on a project that uses `build` instead of `dist` and it would be hard to justify a change only for...
@ev1stensberg How does #24 solve this issue? It seems like it's not related.
IMHO we should either reopen this issue or https://github.com/webpack/webpack/issues/3153
> Is this implemented already? 17 days has passed from the last post.... I just got here from the link in the book. @emilas44 This issue is open since 2016....
What is displayed if you reload the file in the REPL instead of using Vim? Does it appear aswell?
I can't tell you why it does this. However, I think it might be related to syntastic. `idris` is the name of the language but also the name of the...
The bug seems to be introduced by the d9f312d76afb7c009f0eea163df01146c71bc8dd commit. See [my comment](https://github.com/idris-hackers/idris-vim/commit/d9f312d76afb7c009f0eea163df01146c71bc8dd#commitcomment-17480068) Apparently vim doesn't send the whole file to the REPL and some important bits in the `where`...
Hello @paultyng. How can I help get this merged?
Is there still an issue with native M1 support? I installed nix-darwin recently on an M1 and I seem to get everything on aarch64-darwin without having done anything special.
There is no fix yet. I am waiting for #2636 to be merged. For the moment the PR only adds new test cases.