Redundant parentheses in case split

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Open dmalikov opened 7 years ago

dmalikov commented 7 years ago

Before case splitting:

No contra => case isElem value xs of
                  case_val => ?isElem_rhs_3

After it:

No contra => case isElem value xs of
                  (Yes prf) => ?isElem_rhs_1
                  (No contra) => ?isElem_rhs_2

Couldn't these parentheses be omitted automatically?