search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

<LocalLeader>d handles parenthesis incorrectly #59

Open SuprDewd opened 7 years ago

SuprDewd commented 7 years ago

I had something like the following (hypothetical) code snippet:

(++) : Nat -> Nat -> Nat

Then, while hovering over the left parethesis, I hit <LocalLeader>d and got the following:

(++) : Nat -> Nat -> Nat
       Nat k j = ?Nat_rhs

Obviously I was expecting something like:

(++) : Nat -> Nat -> Nat
(++) k j = ?something_rhs