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

Merge pull request #5 from neriglissar/neriglissar/fix-IdrisReload 

[Fix] E121: Undefined variable: file in IdrisReload
This commit is contained in:
Edwin Brady 2020-05-25 11:52:26 +01:00 committed by GitHub
parent b057b734aa 5f31ebb697
commit 7254ad0cde
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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)
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 ""))
call IWrite(tc)
else