@@ -6,11 +6,15 @@ function CaseSplit()
6 let word = expand("<cword>")
6 let word = expand("<cword>")
7 let fn = "idris --client :cs! " . cline . " " . word
7 let fn = "idris --client :cs! " . cline . " " . word
8 let tc = system("idris --client :r")
8 let tc = system("idris --client :r")
9− let result = system(fn)
10+ let result = system(fn)
11− call winrestview(view)
12+ call winrestview(view)
12− if (! (result is ""))
13+ if (! (result is ""))
13− echo result
14+ echo result
15endfunction
19endfunction