search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Curly bracket wrongly indents the line it is inserted. #58

Open xekoukou opened 7 years ago

xekoukou commented 7 years ago 
test : Vect n a -> String
test [] {n=Z} = case (Z) of
                     Z => ?fdgf_1
                     (S k) => ?fdgf_2
test (x :: xs) {n=n} = ?test_rhs_2

If you remove the right curly bracket from the second case and put it again, it makes the line to wrongly indent itself.

The result : 

test : Vect n a -> String
test [] {n=Z} = case (Z) of
                     Z => ?fdgf_1
                     (S k) => ?fdgf_2
                     test (x :: xs) {n=n} = ?test_rhs_2