idris-vim icon indicating copy to clipboard operation
idris-vim copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Redundant parentheses in case split

Open dmalikov opened this issue 7 years ago • 0 comments

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?

dmalikov avatar Jun 28 '17 16:06 dmalikov