rhi/idris2-vim
1
0
Fork 0
Code Issues Pull requests Releases Activity

[Fix] E121: Undefined variable: file in IdrisReload

Browse source
This commit is contained in:
neriglissar 2020-05-17 14:13:52 +02:00
parent b057b734aa
commit 5f31ebb697
No known key found for this signature in database
GPG key ID: 8AD7DF7855A8FF4A
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
ftplugin/idris2.vim
View file

@ -94,7 +94,8 @@ endfunction
function! IdrisReload(q) function! IdrisReload(q)
w w
let tc = system("idris2 --find-ipkg " . shellescape(expand('%:p')) . " --client ''") let file = expand('%:p')
let tc = system("idris2 --find-ipkg " . shellescape(file) . " --client ''")
if (! (tc is "")) if (! (tc is ""))
call IWrite(tc) call IWrite(tc)
else else