From 5f31ebb697501e528e8f02dceefac3b4b420d893 Mon Sep 17 00:00:00 2001
From: neriglissar <53038761+neriglissar@users.noreply.github.com>
Date: Sun, 17 May 2020 14:13:52 +0200
Subject: [PATCH] [Fix] E121: Undefined variable: file in IdrisReload

---
 ftplugin/idris2.vim | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index 2f47418..5e8f163 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -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