idris-lang/Idris-dev — pull request #1495 by edwinb (2014-08-28 13:58:32+00:00)
Title: Uniqueness changes

Just removing a couple of needless restrictions which don't affect sharing. There's no need to check inside types for unique type usage, or in pattern LHSs.