-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
UnhandledRejection: request error nvim_buf_set_lines #1
Comments
Which |
The nightly one: I'll probably try the stable build later to see if it works there |
Maybe they introduced an incompability by changing the highlighting API? That's what the error message looks like to me. I'm on some 0.5.0-prerelease candidate and it works fine for me. If it works for you with 0.5.0 I'll add a note the README and close this issue. |
I just completed a fresh OS install (Pop OS), and installed neovim from In both versions, when opening a Here's the steps I went through:
Unfortunately, it didn't work. I ran |
Ah there's another thing it could be: Do you have my I know that I refactored who creates the |
Completely forgot to mention it. Yes, I do have Is there any configuration I need to do there as well? |
Update: It seems like I wasn't getting any output because I didn't properly install yarn. After installing yarn, I was able to run coc-isabelle on call plug#begin(stdpath('data') . '/plugged')
Plug 'neoclide/coc.nvim'
Plug 'ThreeFx/isabelle.vim'
Plug 'ThreeFx/coc-isabelle', {'do': 'yarn install --frozen-lockfile'}
call plug#end()
au BufRead,BufNewFile *.thy setfiletype isabelle
au BufRead,BufNewFile *.thy set conceallevel=2 Still, the same error occurs. It's worthy noting however, that when I was installing
However, I have nodejs |
I'm having the exact same problem. @luiz00martins did you find a fix? |
@gaganchandan nope, I just switched to lean 😆 |
Full log
Details
I was first unable to get the Isabelle server running, which makes sense, as the
isabelle
command was not working in my environment. As such, I changed the Isabelle command in the options to point to the exact executable. This is mycoc-settings.json
:When opening a file, the server seems to work, displaying the message
[coc.nvim] Welcome to Isabelle/HOL (Isabelle repository snapshot c526eb2c7ca0 30-Mar-2021)
.However, after some seconds of silence (in which I assume it is processing the imported theorems), I get the error message above, with no output in the
-OUTPUT-
buffer. From this point forward, the same error appears whenever the cursor moves to a place that would require Isabelle to further process the state (e.g. it doesn't appear when moving the cursor through comments, but it does when entering a theorem).The text was updated successfully, but these errors were encountered: