idris-lang/Idris-dev — pull request #1623 by edwinb (2014-10-12 12:51:11+00:00)
Title: Fix for pattern vars in transforms

We'll need this when making rewrite rules for partially evaluating type
class dictionaries.