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

else if → elseif

Browse source
This commit is contained in:
rhiannon morris 2022-01-03 15:09:55 +01:00
parent 1e64a7bd2c
commit 6b8e2c8d3e
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
ftplugin/idris2.vim
View file

@ -99,10 +99,8 @@ function! IdrisReload(q)
let tc = system("idris2 --no-color --find-ipkg " . shellescape(file) . " --client ''") let tc = system("idris2 --no-color --find-ipkg " . shellescape(file) . " --client ''")
if (! (tc is "")) if (! (tc is ""))
call IWrite(tc) call IWrite(tc)
else elseif (a:q==0)
if (a:q==0) call IWrite("Successfully reloaded " . file)
call IWrite("Successfully reloaded " . file)
endif
endif endif
return tc return tc
endfunction endfunction