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

Use absolute paths to invoke Idris2.

Browse source
This commit is contained in:
Matus Tejiscak 2020-03-29 18:30:25 +02:00
parent 9333d92ffa
commit 8a8c94d328
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
ftplugin/idris2.vim
View file

@ -33,8 +33,8 @@ endfunction
function! s:IdrisCommand(...) function! s:IdrisCommand(...)
let idriscmd = shellescape(join(a:000)) let idriscmd = shellescape(join(a:000))
" echo("idris2 " . expand ('%:t') . " --client " . idriscmd) " echo("idris2 " . expand ('%:p') . " --client " . idriscmd)
return system("idris2 --find-ipkg " . expand ('%:t') . " --client " . idriscmd) return system("idris2 --find-ipkg " . expand ('%:p') . " --client " . idriscmd)
endfunction endfunction
function! IdrisDocFold(lineNum) function! IdrisDocFold(lineNum)
@ -94,8 +94,7 @@ endfunction
function! IdrisReload(q) function! IdrisReload(q)
w w
let file = expand("%:p") let tc = system("idris2 --find-ipkg " . expand ('%:p') . " --client ''")
let tc = system("idris2 --find-ipkg " . expand ('%:t') . " --client ''")
if (! (tc is "")) if (! (tc is ""))
call IWrite(tc) call IWrite(tc)
else else