search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

[Fix] E121: Undefined variable: file in IdrisReload #5

Closed neriglissar closed 4 years ago

neriglissar commented 4 years ago

When reloading a file that has no matching *.ipkg, I get the following error in neovim:

Error detected while processing function IdrisReload:
line    7:
E121: Undefined variable: file
E116: Invalid arguments for function IWrite

I don't know vimscript, but this fix looks trivial.

[Edit] Just saw this has already been posted - see https://github.com/edwinb/idris2-vim/pull/3#discussion_r426256485

edwinb commented 4 years ago

Sorry I'm lagging on this repo! I should probably move it to the idris-hackers org and let someone else run it. In the meantime, thanks for the fix.