@@ -6,11 +6,15 @@ function CaseSplit()
66 let word = expand("<cword>")
77 let fn = "idris --client :cs! " . cline . " " . word
88 let tc = system("idris --client :r")
9− let result = system(fn)
10− e
11− call winrestview(view)
12− if (! (result is ""))
13− echo result
9+ if (tc is "")
10+ let result = system(fn)
11+ e
12+ call winrestview(view)
13+ if (! (result is ""))
14+ echo result
15+ endif
16+ else
17+ echo tc
1418 endif
1519endfunction
1620