From 8a8c94d328edc6166afb52b293e2d51694560609 Mon Sep 17 00:00:00 2001
From: Matus Tejiscak <ziman@functor.sk>
Date: Sun, 29 Mar 2020 18:30:25 +0200
Subject: [PATCH] Use absolute paths to invoke Idris2.

---
 ftplugin/idris2.vim | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

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