idris-lang/Idris-dev — pull request #1379 by david-christiansen (2014-07-11 11:54:16+00:00)
Title: Add parens on generated S patterns

This fixes an issue where generated S patterns would sometimes not be
parenthesized, leading to invalid patterns being generated. This
occurred even in tutorial code, like Parity.