我从idris和idris-vim开始。但有时\c (IdrisCaseSplit)会删除我所在的行。我尝试使用以下程序：
vApp : Vect n (a -> b) -> Vect n a -> Vect n b
然后我将光标放在vApp上，然后按\d，我得到：
vApp : Vect n (a -> b) -> Vect n a -> Vect n b
vApp xs ys = ?vApp_rhs
我在第一个案例中转到xs并按\c然后我得到：
vApp : Vect n (a -> b) -> Vect n a -> Vect n b
vApp [] ys = ?vApp_rhs_1
vApp (x :: xs) ys = ?vApp_rhs_2
到目前为止，非常好，但如果我在第一种情况下ys（vApp [] ys）转到\c并按vApp (x :: xs) ys，则会删除整行。
为什么要删除该行？如何获得所需的行为（替换[]的ys？
如果我尝试在第二种情况下{y}分裂y \c，则会发生同样的事情。
:call IdrisCaseSplit()<CR>实际上已映射到{{1}} 提前致谢。